Enum Option 

pub enum Option<'st> {
    Attribute(Attribute<'st>),
    DiagnosticOutputChannel(&'st str),
    GlobalDeclarations(BValue),
    InteractiveMode(BValue),
    OptPriority(OptimizationPriority),
    PrintSuccess(BValue),
    ProduceAssertions(BValue),
    ProduceAssignments(BValue),
    ProduceModels(BValue),
    ProduceProofs(BValue),
    ProduceUnsatAssumptions(BValue),
    ProduceUnsatCores(BValue),
    RandomSeed(Numeral<'st>),
    RegularOutputChannel(&'st str),
    ReproducibleResourceLimit(Numeral<'st>),
    Verbosity(Numeral<'st>),
}

Variants

Attribute(Attribute<'st>)

<attribute>

DiagnosticOutputChannel(&'st str)

:diagnostic-output-channel <string>

GlobalDeclarations(BValue)

:global-declarations <b_value>

InteractiveMode(BValue)

:interactive-mode <b_value>

OptPriority(OptimizationPriority)

:opt.priority <optimization_priority>

PrintSuccess(BValue)

:print-success <b_value>

ProduceAssertions(BValue)

:produce-assertions <b_value>

ProduceAssignments(BValue)

:produce-assignments <b_value>

ProduceModels(BValue)

:produce-models <b_value>

ProduceProofs(BValue)

:produce-proofs <b_value>

ProduceUnsatAssumptions(BValue)

:produce-unsat-assumptions <b_value>

ProduceUnsatCores(BValue)

:produce-unsat-cores <b_value>

RandomSeed(Numeral<'st>)

:random-seed <numeral>

RegularOutputChannel(&'st str)

:regular-output-channel <string>

ReproducibleResourceLimit(Numeral<'st>)

:reproducible-resource-limit <numeral>

Verbosity(Numeral<'st>)

:verbosity <numeral>

Implementations

impl<'st> Option<'st>

pub fn parse(st: &'st Storage, src: &str) -> Result<Option<'st>, ParseError>

Trait Implementations

impl<'st> Clone for Option<'st>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'st> Copy for Option<'st>

impl<'st> Debug for Option<'st>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Option<'_>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'st> Eq for Option<'st>

impl<'st> Hash for Option<'st>

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl<'st> PartialEq for Option<'st>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<'st> StructuralPartialEq for Option<'st>