Enum clingo::SymbolType
[−]
[src]
pub enum SymbolType { Infimum, Number, String, Function, Supremum, }
Enumeration of available symbol types.
Variants
Infimum
The #inf
symbol
Number
A numeric symbol, e.g., 1
String
A string symbol, e.g., "a"
Function
A numeric symbol, e.g., c
, (1, "a")
, or f(1,"a")
Supremum
The #sup
symbol
Trait Implementations
impl Debug for SymbolType
[src]
fn fmt(&self, __arg_0: &mut Formatter) -> Result
[src]
Formats the value using the given formatter. Read more
impl Copy for SymbolType
[src]
impl Clone for SymbolType
[src]
fn clone(&self) -> SymbolType
[src]
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more