theoremprover.Proposition Member List

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

activeRule	theoremprover.Proposition	[protected]
activeRule()	theoremprover.Proposition	[inline]
activeRule(PropositionalRule r)	theoremprover.Proposition	[inline]
addAntecedence(PropositionalRule r)	theoremprover.Assumption	[inline]
addSuccedence(PropositionalRule r)	theoremprover.Proposition	[inline]
addSupport(PropositionalRule r)	theoremprover.Proposition	[inline]
antecedence	theoremprover.Assumption
Assumption()	theoremprover.Assumption	[inline, package]
collectAllAssumptions()	theoremprover.Proposition	[inline]
collectAllAssumptions(TreeSet assumptions)	theoremprover.Proposition	[inline]
collectAssumptions()	theoremprover.Proposition	[inline]
collectAssumptions(ArrayList assumptions)	theoremprover.Proposition	[inline]
correctLabels()	theoremprover.Proposition	[inline]
getAntecedence()	theoremprover.Assumption	[inline]
getIdentifier()	theoremprover.Assumption	[inline]
getIntTag()	theoremprover.Assumption	[inline]
theoremprover::Assumption.getLabel()	theoremprover.Assumption	[inline]
theoremprover::PropositionInterface.getLabel()	theoremprover.PropositionInterface
identifier	theoremprover.Assumption
intTag	theoremprover.Assumption
isAssumption()	theoremprover.Proposition	[inline]
label	theoremprover.Assumption
objTag	theoremprover.Assumption
propagateFalse(ArrayList v)	theoremprover.Proposition	[inline]
theoremprover::Assumption.propagateFalse()	theoremprover.Assumption	[inline]
theoremprover::Assumption.propagateTrue()	theoremprover.Assumption	[inline]
theoremprover::PropositionInterface.propagateTrue()	theoremprover.PropositionInterface
Proposition()	theoremprover.Proposition	[inline, package]
removeSupport(PropositionalRule r)	theoremprover.Proposition	[inline]
setIdentifier(Object id)	theoremprover.Assumption	[inline]
setIntTag(int tag)	theoremprover.Assumption	[inline]
theoremprover::Assumption.setLabel(boolean l)	theoremprover.Assumption	[inline]
theoremprover::PropositionInterface.setLabel(boolean l)	theoremprover.PropositionInterface
succedence	theoremprover.Proposition	[protected]
succedence()	theoremprover.Proposition	[inline]
support	theoremprover.Proposition	[protected]
support()	theoremprover.Proposition	[inline]
toString()	theoremprover.Assumption	[inline]
updateActiveRule()	theoremprover.Proposition	[inline]