Enum clingo::ExternalType

pub enum ExternalType {
    Free,
    True,
    False,
    Release,
}

Enumeration of different external statements.

Variants

Free

Allow an external to be assigned freely

True

Assign an external to true

False

Assign an external to false

Release

No longer treat an atom as external

Trait Implementations

impl Debug for ExternalType

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

Formats the value using the given formatter.

impl Copy for ExternalType

impl Clone for ExternalType

fn clone(&self) -> ExternalType

Returns a copy of the value.

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

Performs copy-assignment from source.