Enum ClauseType 

pub enum ClauseType {
    Learnt = 0,
    Static = 1,
    Volatile = 2,
    VolatileStatic = 3,
}

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 = 0

The clause is subject to the solvers deletion policy

Static = 1

The clause is not subject to the solvers deletion policy

Volatile = 2

Like Learnt but the clause is deleted after a solving step

VolatileStatic = 3

Like Static but the clause is deleted after a solving step

Trait Implementations

impl Clone for ClauseType

fn clone(&self) -> ClauseType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClauseType

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Copy for ClauseType