Package | Description |
---|---|
jtabwbx.modal.basic |
Basic classes and interfaces for propositional modla formulas.
|
jtabwbx.modal.formula |
An implementation of propositional modal formulas based on graphs.
|
Modifier and Type | Method and Description |
---|---|
static ModalFormulaType |
ModalFormulaType.getFormulaType(ModalFormula wff)
Returns the type for the specified formula.
|
static ModalFormulaType |
ModalFormulaType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ModalFormulaType[] |
ModalFormulaType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
ModalFormulaType |
ModalFormulaProposition.getFormulaType() |
abstract ModalFormulaType |
ModalFormula.getFormulaType()
Returns the formula type of this formula.
|
Modifier and Type | Method and Description |
---|---|
boolean |
BitSetOfModalFormulas.containsFormulaOfType(ModalFormulaType type) |
java.util.Collection<ModalFormula> |
BitSetOfModalFormulas.getAllFormulas(ModalFormulaType formulaType)
Returns a collection containing all formulas with the specified formula
type in this set or null if this set does not contain any formulas with the
specified formula type.
|
BitSetOfModalFormulas |
BitSetOfModalFormulas.getBitsetOfAllFormulas(ModalFormulaType formulaType)
Returns bitset of all the formulas with the specified formula type in this
set or null if this set does not contain any formulas with the specified
formula type.
|
ModalFormula |
BitSetOfModalFormulas.getFirst(ModalFormulaType type) |
ModalFormula |
BitSetOfModalFormulas.getFirstAndRemove(ModalFormulaType type)
Returns the first formula with the specified type in this bitset and it
removes such a formula from the bitset.
|
BitSetOfModalFormulas |
ModalFormulaFactory.getGeneratedFormulasOfType(ModalFormulaType type)
Returns the set containing all the generated formulas of the specified
type.
|