SemOpt  0.2alpha5-SCC
OrClause Member List

This is the complete list of members for OrClause, including all inherited members.

addHeadVariable(Variable)OrClause
appendVariable(Variable)OrClause
clone(OrClause *)OrClause
OrClause()OrClause
OrClause(int,...)OrClause
toSS(stringstream *) const OrClause