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

Evaluate(const T &env) const	delpi::Formula
expression_	delpi::Formula
kind_	delpi::Formula
rhs_	delpi::Formula
Substitute(const Expression::SubstitutionMap &s) const	delpi::Formula