Struct Clause

pub struct Clause { /* private fields */ }

Implementations

impl Clause

pub fn from_vec<S: AsRef<str>>(lits: Vec<Lit>, info: S) -> Self

pub fn from_literals<I, S>(literals: I, info: S) -> Self

where I: IntoIterator + Clone, I::Item: Into<Lit>, S: AsRef<str>,

pub fn from_pair<L1, L2, S>(lit1: L1, lit2: L2, info: S) -> Self

where L1: Into<Lit>, L2: Into<Lit>, S: AsRef<str>,

pub fn from_literals_checked<I, S>(literals: I, info: S) -> Option<Self>

where I: IntoIterator + Clone, I::Item: Into<Lit>, S: AsRef<str>,

pub fn is_empty(&self) -> bool

pub fn len(&self) -> usize

pub fn get_literals(&self) -> &[Lit]

pub fn get_info(&self) -> &str

Trait Implementations

impl Contextual for Clause

fn format(&self, ctx: &ContextHandle) -> Result<String, AcesError>

fn with(&self, ctx: &ContextHandle) -> InContext<'_, Self>

fn with_mut(&mut self, ctx: &ContextHandle) -> InContextMut<'_, Self>