Enum clingo::ClauseType

pub enum ClauseType {
    Learnt,
    Static,
    Volatile,
    VolatileStatic,
}

Enumeration of clause types determining the lifetime of a clause.

Clauses in the solver are either cleaned up based on a configurable deletion policy or at the end of a solving step. The values of this enumeration determine if a clause is subject to one of the above deletion strategies.

Variants

Learnt

The clause is subject to the solvers deletion policy

Static

The clause is not subject to the solvers deletion policy

Volatile

Like Learnt but the clause is deleted after a solving step

VolatileStatic

Like Static but the clause is deleted after a solving step

Trait Implementations

impl Debug for ClauseType

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

Formats the value using the given formatter.

impl Copy for ClauseType

impl Clone for ClauseType

fn clone(&self) -> ClauseType

Returns a copy of the value.

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

Performs copy-assignment from source.