Uses of Class
jtabwbx.modal.btformula.BTModalFormulaProposition

Packages that use BTModalFormulaProposition

Package	Description
jtabwbx.modal.btformula	A basic implementation of propositional modal formulas as binary trees.

Uses of BTModalFormulaProposition in jtabwbx.modal.btformula

Fields in jtabwbx.modal.btformula declared as BTModalFormulaProposition

Modifier and Type	Field and Description
static BTModalFormulaProposition	BTModalFormulaProposition.FALSE The formula representing the FALSE constant, its name is "false".
static BTModalFormulaProposition	BTModalFormulaFactory.FALSE
static BTModalFormulaProposition	BTModalFormulaProposition.TRUE The formula representing the true constant, its name is "true".
static BTModalFormulaProposition	BTModalFormulaFactory.TRUE

Methods in jtabwbx.modal.btformula with parameters of type BTModalFormulaProposition

Modifier and Type	Method and Description
boolean	BTModalFormulaProposition.equals(BTModalFormulaProposition prop) Returns true iff this formula proposition and the one referenced by prop have the same name.