Enum smtlib_lowlevel::ast::Option

pub enum Option {
    DiagnosticOutputChannel(String),
    GlobalDeclarations(BValue),
    InteractiveMode(BValue),
    PrintSuccess(BValue),
    ProduceAssertions(BValue),
    ProduceAssignments(BValue),
    ProduceModels(BValue),
    ProduceProofs(BValue),
    ProduceUnsatAssumptions(BValue),
    ProduceUnsatCores(BValue),
    RandomSeed(Numeral),
    RegularOutputChannel(String),
    ReproducibleResourceLimit(Numeral),
    Verbosity(Numeral),
    Attribute(Attribute),
}

Variants

DiagnosticOutputChannel(String)

:diagnostic-output-channel <string>

GlobalDeclarations(BValue)

:global-declarations <b_value>

InteractiveMode(BValue)

:interactive-mode <b_value>

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)

:random-seed <numeral>

RegularOutputChannel(String)

:regular-output-channel <string>

ReproducibleResourceLimit(Numeral)

:reproducible-resource-limit <numeral>

Verbosity(Numeral)

:verbosity <numeral>

Attribute(Attribute)

<attribute>

Implementations

impl Option

pub fn parse(src: &str) -> Result<Self, ParseError>

Trait Implementations

impl Clone for Option

fn clone(&self) -> Option

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Option

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 Hash for Option

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 PartialEq<Option> for Option

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Option

impl StructuralEq for Option

impl StructuralPartialEq for Option