Uses of Class
logic.Formula

Packages that use Formula

engin
logic
ui

Uses of Formula in engin

Methods in engin that return Formula

Formula	Engin.getFormula() Returns the formula stored in the engine.
Formula	Engin.parseFormula(java.lang.String formula) Parse a string representing a formula (usually from the formula history) in order to build a formula tree that can be analysedby the engine.

Methods in engin with parameters of type Formula

IntervalList	Engin.getStatesVerifying(Formula f) Returns all the states verifying a formula using the system loaded in the engine.
IntervalList	Engin.getStatesVerifying(Formula f, int level) Returns all the states verifying a formula using the system loaded in the engine.
boolean	Engin.satisfies(ProbSystem s, Formula f) Checks wether of not a probabilistic system does verify a formula.
void	Engin.setFormula(Formula formula) This method register a formula to the engine, in order to perform its verification.

Uses of Formula in logic

Subclasses of Formula in logic

class	AtomicProposition Atomic proposition Represents an atomic proposition.
class	LogicalAnd Logical And Represents the logical operator AND.
class	LogicalNot Logical Not Represents the logical operator NOT.
class	LogicalOr Logical Or Represents the logical operator OR.
class	ProbabilisticNext Probabilistic Next Represents a subformula containing at least one probabilistic expression.
class	True True Represents the true clause.

Fields in logic declared as Formula

protected Formula[]

Formula.subFormula

Methods in logic that return Formula

Formula[]	Formula.getSubFormula() Access the subformula(s) of the current fomula
Formula	LogicParser.parse(java.lang.String s) Logical parser.

Methods in logic with parameters of type Formula

void	Formula.setSubFormula(Formula[] subFormula) Sets the current subformulas of this logical operator

Constructors in logic with parameters of type Formula

Formula(Formula subFormula)
Constructor with one subformula, for logical operator NOT.

Formula(Formula subFormula1, Formula subFormula2)
Constructor with two subformulas, for logical operators AND and NOT.

LogicalAnd(Formula subFormula1, Formula subFormula2)
Default constructor using the base class constructor.

LogicalNot(Formula subFormula)
Base constructor using the base class constructor.

LogicalOr(Formula subFormula1, Formula subFormula2)
Default constructor using the base class constructor.

ProbabilisticNext(java.lang.String action, double probability, Formula subFormula)
Represents a probabilistic expression followed by a subformula.

Uses of Formula in ui

Methods in ui with parameters of type Formula

void	EnginTraceDialog.add(Formula f, IntervalList evaluation, int position) This class adds a single formula to the trace
void	EnginTraceDialog.add(Formula f, IntervalList evaluation, int position, IntervalList evaluationOperand1) This class adds a unitary operator
void	EnginTraceDialog.add(Formula f, IntervalList evaluation, int position, IntervalList evaluationOperand1, IntervalList evaluationOperand2) This class adds a binary operator
void	FormulaDialogListener.GetAllStatesVerifying(Formula formula) This event is fired upon a request of a verification from all of the state set of the system.
void	EnginTraceDialog.setFormula(Formula f) This method set the formula evaluated
void	FormulaDialogListener.VerifyInitialState(Formula formula) This event is fired upon a request of a verification from the initial state

Constructors in ui with parameters of type Formula

FormulaTree(Formula f)
Default constructor ... a formula must be provided in order to draw the corresponding tree.