|
Class Summary |
| AtomicProposition |
Atomic proposition
Represents an atomic proposition. |
| Formula |
Formula
This abstract class represents a basic formula. |
| LogicalAnd |
Logical And
Represents the logical operator AND. |
| LogicalNot |
Logical Not
Represents the logical operator NOT. |
| LogicalOr |
Logical Or
Represents the logical operator OR. |
| LogicParser |
Logic Parser
Logic Parser is a syntax analyser for the logical expressions. |
| ProbabilisticNext |
Probabilistic Next
Represents a subformula containing at least one probabilistic expression. |
| True |
True
Represents the true clause. |