Package | Description |
---|---|
jtabwbx.prop.formula |
An implementation of propositional formulas based on graphs.
|
Modifier and Type | Field and Description |
---|---|
FormulaProposition |
FormulaFactory.FALSE
The formula representing the propositional variable FALSE.
|
FormulaProposition |
FormulaFactory.TRUE
The formula representing the propositional variable TRUE.
|
Modifier and Type | Method and Description |
---|---|
FormulaProposition |
FormulaFactory.buildAtomic(java.lang.String name) |
FormulaProposition |
FormulaFactory.getFalse()
Returns the formula modelling the propositional constant FALSE.
|
FormulaProposition |
FormulaFactory.getTrue()
Returns the formula modelling the propositional constant TRUE.
|
Modifier and Type | Method and Description |
---|---|
boolean |
FormulaProposition.containsProposition(FormulaProposition proposition) |