|
Class Summary |
| Atom |
Atom represents an atom. |
| BeliefChangeSzenario |
BeliefChangeSzenario is a belief change scenario. |
| BinaryCompound |
BinaryCompound represents an implication or a biconditional (equivalence) with two operands. |
| COBAApp |
COBAApp is an interactive menu-based command-line version of COBA 2.0. |
| Contradiction |
Contradiction represents a contradiction. |
| EquivalenceSet |
EquivalenceSet represents a set of equivalences or biconditionals. |
| HSet |
Class HSet is a more specific HashSet that performs further checking when adding an element. |
| ISent |
ISent is an abstract class with a specific interface and some default implementations for sentences. |
| MultipleCompound |
MultipleCompound represents a disjunction or a conjunction with at least two operands. |
| Negation |
Negation represents a negation. |
| SentenceParser |
SentenceParser is a converter between strings and ISent instances. |
| Tautology |
Tautology represents a tautology. |