lala::pc Namespace Reference

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

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>