pulsatrix::datalog::Rule Member List

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

body() const	pulsatrix::datalog::Rule	inline
head() const	pulsatrix::datalog::Rule	inline
Rule(Atom head, std::vector< Atom > body)	pulsatrix::datalog::Rule