theoremprover.ABTheoremProver Member List

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

ABTheoremProver()	theoremprover.ABTheoremProver	[inline]
add(ArrayList a, Proposition p)	theoremprover.ABTheoremProver	[inline]
addAssumption(Assumption a)	theoremprover.ABTheoremProver	[inline]
addFact(PropositionalRule r)	theoremprover.PropositionalTheoremProver	[inline]
addProposition(Proposition p)	theoremprover.PropositionalTheoremProver	[inline]
addRule(PropositionalRule r)	theoremprover.PropositionalTheoremProver	[inline]
assumptions	theoremprover.ABTheoremProver	[protected]
checkConsistency()	theoremprover.ABTheoremProver	[inline]
checkConsistency(ArrayList posAssumptions, ArrayList negAssumptions)	theoremprover.ABTheoremProver	[inline]
checkConsistency(ArrayList posAssPrefixes)	theoremprover.ABTheoremProver	[inline]
contradiction	theoremprover.PropositionalTheoremProver	[protected]
contradiction()	theoremprover.PropositionalTheoremProver	[inline]
facts	theoremprover.PropositionalTheoremProver	[protected]
facts()	theoremprover.PropositionalTheoremProver	[inline]
getAssumptions()	theoremprover.ABTheoremProver	[inline]
getConflictSet()	theoremprover.ABTheoremProver	[inline]
isConsistent()	theoremprover.PropositionalTheoremProver	[inline]
PropositionalTheoremProver()	theoremprover.PropositionalTheoremProver	[inline, package]
propositions	theoremprover.PropositionalTheoremProver	[protected]
propositions()	theoremprover.PropositionalTheoremProver	[inline]
remove(PropositionalRule r)	theoremprover.PropositionalTheoremProver	[inline]
rules	theoremprover.PropositionalTheoremProver	[protected]
rules()	theoremprover.PropositionalTheoremProver	[inline]
setAssumption(Assumption a, boolean value)	theoremprover.ABTheoremProver	[inline]
toString()	theoremprover.ABTheoremProver	[inline]