knowrob::Disjunction Member List

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

CompoundFormula(FormulaType type, const std::vector< FormulaPtr > &formulae)	knowrob::CompoundFormula
CompoundFormula(FormulaType type, const std::vector< FormulaPtr > &formulae)	knowrob::CompoundFormula
Disjunction(const std::vector< FormulaPtr > &formulae)	knowrob::Disjunction	explicit
Disjunction(const std::vector< FormulaPtr > &formulae)	knowrob::Disjunction	explicit
format() const	knowrob::Printable	inlinevirtual
format() const	knowrob::Printable	inlinevirtual
Formula(const FormulaType &type)	knowrob::Formula	explicit
Formula(const FormulaType &type)	knowrob::Formula	explicit
formulae() const	knowrob::CompoundFormula	inline
formulae() const	knowrob::CompoundFormula	inline
formulae_	knowrob::CompoundFormula	protected
isAtomic() const	knowrob::Formula
isAtomic() const	knowrob::Formula
isBottom() const	knowrob::Formula
isBottom() const	knowrob::Formula
isEqual(const Formula &other) const override	knowrob::Disjunction	protectedvirtual
isEqual(const Formula &other) const override	knowrob::Disjunction	protectedvirtual
isGround() const	knowrob::Formula	inline
isGround() const	knowrob::Formula	inline
isGround1() const	knowrob::CompoundFormula	protected
isGround1() const	knowrob::CompoundFormula	protected
isGround_	knowrob::Formula	protected
isTop() const	knowrob::Formula
isTop() const	knowrob::Formula
operator==(const Formula &other) const	knowrob::Formula
operator==(const Formula &other) const	knowrob::Formula
operator_symbol() const override	knowrob::Disjunction	inlinevirtual
operator_symbol() const override	knowrob::Disjunction	inlinevirtual
type() const	knowrob::Formula	inline
type() const	knowrob::Formula	inline
type_	knowrob::Formula	protected
write(std::ostream &os) const override	knowrob::CompoundFormula	virtual
write(std::ostream &os) const override	knowrob::CompoundFormula	virtual
~CompoundFormula()=default	knowrob::CompoundFormula	virtual
~CompoundFormula()=default	knowrob::CompoundFormula	virtual
~Formula()=default	knowrob::Formula	virtual
~Formula()=default	knowrob::Formula	virtual
~Printable()=default	knowrob::Printable	virtual
~Printable()=default	knowrob::Printable	virtual