pulsatrix::datalog::FactDatabase Member List

This is the complete list of members for pulsatrix::datalog::FactDatabase, including all inherited members.

contains(const Atom &fact) const	pulsatrix::datalog::FactDatabase	inline
empty() const	pulsatrix::datalog::FactDatabase	inline
FactDatabase()=default	pulsatrix::datalog::FactDatabase
FactDatabase(FactSet facts)	pulsatrix::datalog::FactDatabase	explicit
facts() const	pulsatrix::datalog::FactDatabase	inline
insert(Atom fact)	pulsatrix::datalog::FactDatabase
operator!=(const FactDatabase &other) const	pulsatrix::datalog::FactDatabase	inline
operator==(const FactDatabase &other) const	pulsatrix::datalog::FactDatabase	inline
size() const	pulsatrix::datalog::FactDatabase	inline