theoremprover.PropositionInterface Member List

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

activeRule(PropositionalRule r)	theoremprover.PropositionInterface
activeRule()	theoremprover.PropositionInterface
addSupport(PropositionalRule r)	theoremprover.PropositionInterface
correctLabels()	theoremprover.PropositionInterface
getLabel()	theoremprover.PropositionInterface
propagateFalse(ArrayList v)	theoremprover.PropositionInterface
propagateTrue()	theoremprover.PropositionInterface
removeSupport(PropositionalRule r)	theoremprover.PropositionInterface
setLabel(boolean l)	theoremprover.PropositionInterface
updateActiveRule()	theoremprover.PropositionInterface