Struct clingo::Literal

pub struct Literal(_);

Signed integer type used for aspif and solver literals.

Methods

impl Literal

pub fn negate(&self) -> Literal

pub fn from(Atom: Atom) -> Literal

pub fn get_integer(&self) -> i32

Trait Implementations

impl Debug for Literal

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

Formats the value using the given formatter.

impl Copy for Literal

impl Clone for Literal

fn clone(&self) -> Literal

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq for Literal

fn eq(&self, __arg_0: &Literal) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, __arg_0: &Literal) -> bool

This method tests for !=.