Public Member Functions | |
| PropositionalRule | activeRule () |
| void | activeRule (PropositionalRule r) |
| void | addSuccedence (PropositionalRule r) |
| void | addSupport (PropositionalRule r) |
| TreeSet | collectAllAssumptions () |
| TreeSet | collectAllAssumptions (TreeSet assumptions) |
| ArrayList | collectAssumptions () |
| ArrayList | collectAssumptions (ArrayList assumptions) |
| void | correctLabels () |
| boolean | isAssumption () |
| ArrayList | propagateFalse (ArrayList v) |
| void | removeSupport (PropositionalRule r) |
| ArrayList | succedence () |
| ArrayList | support () |
| boolean | updateActiveRule () |
Protected Attributes | |
| PropositionalRule | activeRule |
| ArrayList | succedence |
| ArrayList | support |
Package Functions | |
| Proposition () | |
Detailed Description
Definition at line 44 of file Proposition.java.
Constructor & Destructor Documentation
| theoremprover.Proposition.Proposition | ( | ) | [inline, package] |
Definition at line 56 of file Proposition.java.
Member Function Documentation
| PropositionalRule theoremprover.Proposition.activeRule | ( | ) | [inline] |
Implements theoremprover.PropositionInterface.
Definition at line 74 of file Proposition.java.
| void theoremprover.Proposition.activeRule | ( | PropositionalRule | r | ) | [inline] |
Implements theoremprover.PropositionInterface.
Definition at line 92 of file Proposition.java.
| void theoremprover.Proposition.addSuccedence | ( | PropositionalRule | r | ) | [inline] |
Definition at line 87 of file Proposition.java.
| void theoremprover.Proposition.addSupport | ( | PropositionalRule | r | ) | [inline] |
Implements theoremprover.PropositionInterface.
Definition at line 97 of file Proposition.java.
| TreeSet theoremprover.Proposition.collectAllAssumptions | ( | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 177 of file Proposition.java.
| TreeSet theoremprover.Proposition.collectAllAssumptions | ( | TreeSet | assumptions | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 186 of file Proposition.java.
| ArrayList theoremprover.Proposition.collectAssumptions | ( | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 158 of file Proposition.java.
| ArrayList theoremprover.Proposition.collectAssumptions | ( | ArrayList | assumptions | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 167 of file Proposition.java.
| void theoremprover.Proposition.correctLabels | ( | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 145 of file Proposition.java.
| boolean theoremprover.Proposition.isAssumption | ( | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 118 of file Proposition.java.
| ArrayList theoremprover.Proposition.propagateFalse | ( | ArrayList | v | ) | [inline] |
Reimplemented from theoremprover.Assumption.
Definition at line 125 of file Proposition.java.
| void theoremprover.Proposition.removeSupport | ( | PropositionalRule | r | ) | [inline] |
Implements theoremprover.PropositionInterface.
Definition at line 102 of file Proposition.java.
| ArrayList theoremprover.Proposition.succedence | ( | ) | [inline] |
Definition at line 69 of file Proposition.java.
| ArrayList theoremprover.Proposition.support | ( | ) | [inline] |
Definition at line 79 of file Proposition.java.
| boolean theoremprover.Proposition.updateActiveRule | ( | ) | [inline] |
Implements theoremprover.PropositionInterface.
Definition at line 107 of file Proposition.java.
Member Data Documentation
Definition at line 51 of file Proposition.java.
ArrayList theoremprover.Proposition.succedence [protected] |
Definition at line 50 of file Proposition.java.
ArrayList theoremprover.Proposition.support [protected] |
Definition at line 52 of file Proposition.java.
The documentation for this class was generated from the following file: