Enum clingo::ModelType
[−]
[src]
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
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more