formula.hpp File Reference

#include "lala/universes/arith_bound.hpp"

Go to the source code of this file.

Classes
class	lala::pc::AbstractElement< AD, Allocator >
class	lala::pc::VariableLiteral< AD, neg >
class	lala::pc::False< AD >
class	lala::pc::True< AD >
class	lala::pc::Conjunction< AD, Allocator >
class	lala::pc::Disjunction< AD, Allocator >
class	lala::pc::Biconditional< AD, Allocator >
class	lala::pc::Implication< AD, Allocator >
class	lala::pc::ExclusiveDisjunction< AD, Allocator >
class	lala::pc::Equality< AD, Allocator, neg >
class	lala::pc::Inequality< AD, Allocator, neg >
class	lala::pc::Formula< AD, Allocator >

Namespaces
namespace	lala
namespace	lala::pc

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