Struct FormatValidator 

pub struct FormatValidator { /* private fields */ }

Validator for proof formats.

Implementations

impl FormatValidator

pub fn new() -> Self

Create a new format validator with default settings.

pub fn allow_empty(self, allow: bool) -> Self

Allow empty proofs.

pub fn check_cycles(self, check: bool) -> Self

Enable/disable cycle checking.

pub fn validate_syntax(self, validate: bool) -> Self

Enable/disable syntax validation.

pub fn validate_proof(&self, proof: &Proof) -> ValidationResult<()>

Validate a generic proof.

Trait Implementations

impl Default for FormatValidator

fn default() -> Self

Returns the “default value” for a type.