knowrob  2.1.0
A Knowledge Base System for Cognition-enabled Robots
knowrob::Formula Member List

This is the complete list of members for knowrob::Formula, including all inherited members.

format() constknowrob::Printableinlinevirtual
format() constknowrob::Printableinlinevirtual
Formula(const FormulaType &type)knowrob::Formulaexplicit
Formula(const FormulaType &type)knowrob::Formulaexplicit
isAtomic() constknowrob::Formula
isAtomic() constknowrob::Formula
isBottom() constknowrob::Formula
isBottom() constknowrob::Formula
isEqual(const Formula &other) const =0knowrob::Formulaprotectedpure virtual
isEqual(const Formula &other) const =0knowrob::Formulaprotectedpure virtual
isGround() constknowrob::Formulainline
isGround() constknowrob::Formulainline
isGround_knowrob::Formulaprotected
isTop() constknowrob::Formula
isTop() constknowrob::Formula
operator==(const Formula &other) constknowrob::Formula
operator==(const Formula &other) constknowrob::Formula
type() constknowrob::Formulainline
type() constknowrob::Formulainline
type_knowrob::Formulaprotected
write(std::ostream &os) const =0knowrob::Printablepure virtual
write(std::ostream &os) const =0knowrob::Printablepure virtual
~Formula()=defaultknowrob::Formulavirtual
~Formula()=defaultknowrob::Formulavirtual
~Printable()=defaultknowrob::Printablevirtual
~Printable()=defaultknowrob::Printablevirtual