Enum clingo::Warning

pub enum Warning {
    OperationUndefined,
    RuntimeError,
    AtomUndefined,
    FileIncluded,
    VariableUnbound,
    GlobalVariable,
    Other,
}

Enumeration of warning codes.

Variants

OperationUndefined

Undefined arithmetic operation or weight of aggregate

RuntimeError

To report multiple errors; a corresponding runtime error is raised later

AtomUndefined

An undefined atom in program

FileIncluded

The Same file included multiple times

VariableUnbound

CSP variable with unbounded domain

GlobalVariable

A global variable in tuple of aggregate element

Other

Other kinds of warnings

Trait Implementations

impl Debug for Warning

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

Formats the value using the given formatter.

impl Copy for Warning

impl Clone for Warning

fn clone(&self) -> Warning

Returns a copy of the value.

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

Performs copy-assignment from source.