Public Member Functions | |
| void | add (ArrayList a, Proposition p) |
| void | addFact (PropositionalRule r) |
| void | addProposition (Proposition p) |
| void | addRule (PropositionalRule r) |
| boolean | checkConsistency () |
| Proposition | contradiction () |
| ArrayList | facts () |
| boolean | isConsistent () |
| ArrayList | propositions () |
| void | remove (PropositionalRule r) |
| ArrayList | rules () |
| String | toString () |
Protected Attributes | |
| Proposition | contradiction |
| ArrayList | facts |
| ArrayList | propositions |
| ArrayList | rules |
Package Functions | |
| PropositionalTheoremProver () | |
Detailed Description
Definition at line 47 of file PropositionalTheoremProver.java.
Constructor & Destructor Documentation
| theoremprover.PropositionalTheoremProver.PropositionalTheoremProver | ( | ) | [inline, package] |
Definition at line 59 of file PropositionalTheoremProver.java.
Member Function Documentation
| void theoremprover.PropositionalTheoremProver.add | ( | ArrayList | a, |
| Proposition | p | ||
| ) | [inline] |
Reimplemented in theoremprover.ABTheoremProver.
Definition at line 142 of file PropositionalTheoremProver.java.
| void theoremprover.PropositionalTheoremProver.addFact | ( | PropositionalRule | r | ) | [inline] |
Definition at line 99 of file PropositionalTheoremProver.java.
| void theoremprover.PropositionalTheoremProver.addProposition | ( | Proposition | p | ) | [inline] |
Definition at line 104 of file PropositionalTheoremProver.java.
| void theoremprover.PropositionalTheoremProver.addRule | ( | PropositionalRule | r | ) | [inline] |
Definition at line 94 of file PropositionalTheoremProver.java.
| boolean theoremprover.PropositionalTheoremProver.checkConsistency | ( | ) | [inline] |
Reimplemented in theoremprover.ABTheoremProver.
Definition at line 208 of file PropositionalTheoremProver.java.
Definition at line 87 of file PropositionalTheoremProver.java.
| ArrayList theoremprover.PropositionalTheoremProver.facts | ( | ) | [inline] |
Definition at line 77 of file PropositionalTheoremProver.java.
| boolean theoremprover.PropositionalTheoremProver.isConsistent | ( | ) | [inline] |
Definition at line 111 of file PropositionalTheoremProver.java.
| ArrayList theoremprover.PropositionalTheoremProver.propositions | ( | ) | [inline] |
Definition at line 82 of file PropositionalTheoremProver.java.
| void theoremprover.PropositionalTheoremProver.remove | ( | PropositionalRule | r | ) | [inline] |
Definition at line 176 of file PropositionalTheoremProver.java.
| ArrayList theoremprover.PropositionalTheoremProver.rules | ( | ) | [inline] |
Definition at line 72 of file PropositionalTheoremProver.java.
| String theoremprover.PropositionalTheoremProver.toString | ( | ) | [inline] |
Reimplemented in theoremprover.ABTheoremProver.
Definition at line 119 of file PropositionalTheoremProver.java.
Member Data Documentation
Definition at line 55 of file PropositionalTheoremProver.java.
ArrayList theoremprover.PropositionalTheoremProver.facts [protected] |
Definition at line 53 of file PropositionalTheoremProver.java.
ArrayList theoremprover.PropositionalTheoremProver.propositions [protected] |
Definition at line 54 of file PropositionalTheoremProver.java.
ArrayList theoremprover.PropositionalTheoremProver.rules [protected] |
Definition at line 52 of file PropositionalTheoremProver.java.
The documentation for this class was generated from the following file: