Enum clingo::ExternalType
source · pub enum ExternalType {
Free = 0,
True = 1,
False = 2,
Release = 3,
}
Expand description
Enumeration of different external statements.
Variants§
Free = 0
Allow an external to be assigned freely
True = 1
Assign an external to true
False = 2
Assign an external to false
Release = 3
No longer treat an atom as external
Trait Implementations§
source§impl Clone for ExternalType
impl Clone for ExternalType
source§fn clone(&self) -> ExternalType
fn clone(&self) -> ExternalType
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for ExternalType
impl Debug for ExternalType
impl Copy for ExternalType
Auto Trait Implementations§
impl RefUnwindSafe for ExternalType
impl Send for ExternalType
impl Sync for ExternalType
impl Unpin for ExternalType
impl UnwindSafe for ExternalType
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more