pub struct PreCp<'a, L, V> {
pub contra: Contrapositive<&'a L, &'a LitMat<L, Matrix<L, V>>>,
pub ctx: Vec<Ctx<'a, L, V>>,
pub ground: bool,
pub offset: Option<V>,
}
Expand description
Nonclausal contrapositive for a literal lit
with some inferred information about it.
Fields§
§contra: Contrapositive<&'a L, &'a LitMat<L, Matrix<L, V>>>
the actual contrapositive
ctx: Vec<Ctx<'a, L, V>>
all clauses and matrices originally containing lit
, largest first
ground: bool
groundness of beta_cla \cup args
offset: Option<V>
maximal variable of ctx[0].full_cla
(the largest clause containing lit
) or
(if ctx empty) beta_cla \cup args
Implementations§
Trait Implementations§
source§impl<'a, L, V> IntoIterator for &'a PreCp<'a, L, V>
impl<'a, L, V> IntoIterator for &'a PreCp<'a, L, V>
Auto Trait Implementations§
impl<'a, L, V> RefUnwindSafe for PreCp<'a, L, V>where L: RefUnwindSafe, V: RefUnwindSafe,
impl<'a, L, V> Send for PreCp<'a, L, V>where L: Sync, V: Send + Sync,
impl<'a, L, V> Sync for PreCp<'a, L, V>where L: Sync, V: Sync,
impl<'a, L, V> Unpin for PreCp<'a, L, V>where V: Unpin,
impl<'a, L, V> UnwindSafe for PreCp<'a, L, V>where L: RefUnwindSafe, V: UnwindSafe + RefUnwindSafe,
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