Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

Miniscope Member List

This is the complete list of members for Miniscope, including all inherited members.
_formulaMiniscope [private]
_formulasMiniscope [private]
_indexMiniscope [private]
_maxVMiniscope [private]
_memMiniscope [private]
_NMiniscope [private]
_nfsMiniscope [private]
_nvsMiniscope [private]
_occMiniscope [private]
_positionMiniscope [private]
_quantMiniscope [private]
_realNfsMiniscope [private]
_varsMiniscope [private]
count(const Formula &, int formNumber)Miniscope [private]
count(const Term &, int formNumber)Miniscope [private]
decodeFormulas(const IntList &in, IntList &out) constMiniscope [private]
decodeFormulas(const IntList &in, IntList &out, int inIndex, int outIndex) constMiniscope [private]
decodeVars(const IntList &in, VarList &out) constMiniscope [private]
deleteVars(const IntList &vs)Miniscope [private]
Miniscope(Formula::Connective Q, const VarList &vars, const Formula &, const Position &pos)Miniscope
noMiniscoping() constMiniscope
occurInSameFormulas(int v, IntList &vs) constMiniscope [private]
occurInSameFormulas(int v, int w) constMiniscope [private]
partition(const FormulaList &F, Var v, FormulaList &G, FormulaList &H)Miniscope [private]
pushMany(InferenceList &)Miniscope
pushOne(Var v, int k, InferenceList &)Miniscope [private]
pushOnes(InferenceList &)Miniscope
result(Formula &res)Miniscope
~Miniscope()Miniscope

Generated on Sat Jun 28 15:08:59 2003 for Vampire by doxygen 1.3.2