Here is a list of all functions with links to the classes they belong to:

- d -

• deduce() : lala::pc::AbstractElement< AD, Allocator >, lala::pc::Biconditional< AD, Allocator >, lala::pc::Conjunction< AD, Allocator >, lala::PC< A, Allocator >, lala::pc::Disjunction< AD, Allocator >, lala::pc::Equality< AD, Allocator, neg >, lala::pc::ExclusiveDisjunction< AD, Allocator >, lala::pc::False< AD >, lala::pc::Formula< AD, Allocator >, lala::pc::Implication< AD, Allocator >, lala::pc::Inequality< AD, Allocator, neg >, lala::pc::True< AD >, lala::pc::VariableLiteral< AD, neg >
• deinterpret() : lala::pc::AbstractElement< AD, Allocator >, lala::pc::Biconditional< AD, Allocator >, lala::pc::Binary< AD, Group, Allocator >, lala::pc::Conjunction< AD, Allocator >, lala::pc::Constant< AD >, lala::PC< A, Allocator >, lala::pc::Disjunction< AD, Allocator >, lala::pc::Equality< AD, Allocator, neg >, lala::pc::ExclusiveDisjunction< AD, Allocator >, lala::pc::False< AD >, lala::pc::Formula< AD, Allocator >, lala::pc::Implication< AD, Allocator >, lala::pc::Inequality< AD, Allocator, neg >, lala::pc::Nary< Combinator >, lala::pc::Term< AD, Allocator >, lala::pc::True< AD >, lala::pc::Unary< AD, UnaryOp, Allocator >, lala::pc::Variable< AD >, lala::pc::VariableLiteral< AD, neg >
• Disjunction() : lala::pc::Disjunction< AD, Allocator >