pulsatrix::datalog::Term Member List

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

is_constant() const	pulsatrix::datalog::Term	inline
is_variable() const	pulsatrix::datalog::Term	inline
kind() const	pulsatrix::datalog::Term	inline
make_constant(std::string value)	pulsatrix::datalog::Term	inlinestatic
make_variable(std::string name)	pulsatrix::datalog::Term	inlinestatic
operator!=(const Term &other) const	pulsatrix::datalog::Term	inline
operator==(const Term &other) const	pulsatrix::datalog::Term	inline
value() const	pulsatrix::datalog::Term	inline