Enum clingo::ast::StatementType

pub enum StatementType {
    Rule,
    Const,
    ShowSignature,
    ShowTerm,
    Minimize,
    Script,
    Program,
    External,
    Edge,
    Heuristic,
    ProjectAtom,
    ProjectAtomSignature,
    TheoryDefinition,
}

Variants

RuleConstShowSignatureShowTermMinimizeScriptProgramExternalEdgeHeuristicProjectAtomProjectAtomSignatureTheoryDefinition

Trait Implementations

impl Debug for StatementType

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

Formats the value using the given formatter.

impl Copy for StatementType

impl Clone for StatementType

fn clone(&self) -> StatementType

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for StatementType

fn eq(&self, __arg_0: &StatementType) -> 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 !=.