theoremprover.Assumption Member List

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

addAntecedence(PropositionalRule r)	theoremprover.Assumption	[inline]
antecedence	theoremprover.Assumption
Assumption()	theoremprover.Assumption	[inline, package]
collectAllAssumptions()	theoremprover.Assumption	[inline]
collectAllAssumptions(TreeSet assumptions)	theoremprover.Assumption	[inline]
collectAssumptions()	theoremprover.Assumption	[inline]
collectAssumptions(ArrayList assumptions)	theoremprover.Assumption	[inline]
correctLabels()	theoremprover.Assumption	[inline]
getAntecedence()	theoremprover.Assumption	[inline]
getIdentifier()	theoremprover.Assumption	[inline]
getIntTag()	theoremprover.Assumption	[inline]
getLabel()	theoremprover.Assumption	[inline]
identifier	theoremprover.Assumption
intTag	theoremprover.Assumption
isAssumption()	theoremprover.Assumption	[inline]
label	theoremprover.Assumption
objTag	theoremprover.Assumption
propagateFalse()	theoremprover.Assumption	[inline]
propagateFalse(ArrayList v)	theoremprover.Assumption	[inline]
propagateTrue()	theoremprover.Assumption	[inline]
setIdentifier(Object id)	theoremprover.Assumption	[inline]
setIntTag(int tag)	theoremprover.Assumption	[inline]
setLabel(boolean l)	theoremprover.Assumption	[inline]
toString()	theoremprover.Assumption	[inline]