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 = typedef Equality<AD, Allocator, true>

InequalityGT

template<class AD , class Allocator >

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

InequalityLEQ

template<class AD , class Allocator >

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