Public Member Functions | |
| ABTheoremProver () | |
| void | add (ArrayList a, Proposition p) |
| boolean | addAssumption (Assumption a) |
| boolean | checkConsistency () |
| boolean | checkConsistency (ArrayList posAssumptions, ArrayList negAssumptions) |
| boolean | checkConsistency (ArrayList posAssPrefixes) |
| ArrayList | getAssumptions () |
| ArrayList | getConflictSet () |
| void | setAssumption (Assumption a, boolean value) |
| String | toString () |
Protected Attributes | |
| ArrayList | assumptions |
Detailed Description
Definition at line 48 of file ABTheoremProver.java.
Constructor & Destructor Documentation
| theoremprover.ABTheoremProver.ABTheoremProver | ( | ) | [inline] |
Definition at line 57 of file ABTheoremProver.java.
Member Function Documentation
| void theoremprover.ABTheoremProver.add | ( | ArrayList | a, |
| Proposition | p | ||
| ) | [inline] |
Reimplemented from theoremprover.PropositionalTheoremProver.
Definition at line 114 of file ABTheoremProver.java.
| boolean theoremprover.ABTheoremProver.addAssumption | ( | Assumption | a | ) | [inline] |
Definition at line 76 of file ABTheoremProver.java.
| boolean theoremprover.ABTheoremProver.checkConsistency | ( | ) | [inline] |
Reimplemented from theoremprover.PropositionalTheoremProver.
Definition at line 170 of file ABTheoremProver.java.
| boolean theoremprover.ABTheoremProver.checkConsistency | ( | ArrayList | posAssumptions, |
| ArrayList | negAssumptions | ||
| ) | [inline] |
Definition at line 186 of file ABTheoremProver.java.
| boolean theoremprover.ABTheoremProver.checkConsistency | ( | ArrayList | posAssPrefixes | ) | [inline] |
Definition at line 210 of file ABTheoremProver.java.
| ArrayList theoremprover.ABTheoremProver.getAssumptions | ( | ) | [inline] |
Definition at line 69 of file ABTheoremProver.java.
| ArrayList theoremprover.ABTheoremProver.getConflictSet | ( | ) | [inline] |
Definition at line 238 of file ABTheoremProver.java.
| void theoremprover.ABTheoremProver.setAssumption | ( | Assumption | a, |
| boolean | value | ||
| ) | [inline] |
Definition at line 146 of file ABTheoremProver.java.
| String theoremprover.ABTheoremProver.toString | ( | ) | [inline] |
Reimplemented from theoremprover.PropositionalTheoremProver.
Definition at line 85 of file ABTheoremProver.java.
Member Data Documentation
ArrayList theoremprover.ABTheoremProver.assumptions [protected] |
Definition at line 53 of file ABTheoremProver.java.
The documentation for this class was generated from the following file: