Lattice land propagators completion library
Loading...
Searching...
No Matches
lala::pc Namespace Reference

Classes

struct  AbsOp
 
class  AbstractElement
 
class  Biconditional
 
class  Binary
 
class  Conjunction
 
class  Constant
 
class  Disjunction
 
class  Equality
 
class  ExclusiveDisjunction
 
class  False
 
class  Formula
 
struct  GroupAdd
 
struct  GroupDiv
 
struct  GroupMinMax
 
struct  GroupMul
 
struct  GroupSub
 
class  Implication
 
class  Inequality
 
class  Nary
 
struct  NegOp
 
class  Term
 
class  True
 
class  Unary
 
class  Variable
 
class  VariableLiteral
 

Typedefs

template<class AD , class Allocator >
using Disequality = Equality<AD, Allocator, true>
 
template<class AD , class Allocator >
using InequalityGT = Inequality<AD, Allocator, true>
 
template<class AD , class Allocator >
using InequalityLEQ = Inequality<AD, Allocator, false>
 

Typedef Documentation

◆ Disequality

template<class AD , class Allocator >
using lala::pc::Disequality = Equality<AD, Allocator, true>

◆ InequalityGT

template<class AD , class Allocator >
using lala::pc::InequalityGT = Inequality<AD, Allocator, true>

◆ InequalityLEQ

template<class AD , class Allocator >
using lala::pc::InequalityLEQ = Inequality<AD, Allocator, false>