Enum clingo::ModelType

pub enum ModelType {
    StableModel,
    BraveConsequences,
    CautiousConsequences,
}

Enumeration for the different model types.

Variants

StableModel

The model represents a stable model.

BraveConsequences

The model represents a set of brave consequences.

CautiousConsequences

The model represents a set of cautious consequences.

Trait Implementations

impl Debug for ModelType

fn fmt(&self, __arg_0: &mut Formatter) -> Result

Formats the value using the given formatter.

impl Copy for ModelType

impl Clone for ModelType

fn clone(&self) -> ModelType

Returns a copy of the value.

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

Performs copy-assignment from source.