Uses of Class
eu.simuline.relana.expressions.Formula

Packages that use Formula

Package	Description
eu.simuline.relana.expressions	Classes to describe expressions.
eu.simuline.relana.model	Description for object oriented models in terms of java classes.

Uses of Formula in eu.simuline.relana.expressions

Subclasses of Formula in eu.simuline.relana.expressions

Modifier and Type	Class	Description
static class	Formula.Comp	Represents a compound formula, i.e. one defined via an operation.
static class	Formula.Const	Represents a constant interpreted as atomic formula.
static class	Formula.Var	Represents a variable interpreted as atomic formula.

Fields in eu.simuline.relana.expressions declared as Formula

Modifier and Type	Field	Description
static Formula	Formula.EMPTY_EXPRESSION

Fields in eu.simuline.relana.expressions with type parameters of type Formula

Modifier and Type	Field	Description
private Set<Formula>	Formula.Comp.args

Methods in eu.simuline.relana.expressions that return Formula

Modifier and Type	Method	Description
abstract Formula	Formula.add(SInstance serv, Deficiency def)
Formula	Formula.Comp.add(SInstance serv, Deficiency def)
Formula	Formula.Const.add(SInstance serv, Deficiency def)
Formula	Formula.Var.add(SInstance serv, Deficiency def)
static Formula	Formula.getFormula(Operation.Eval oper, Set<Formula> args)
Formula	Formula.Comp.remove(SInstance serv, Deficiency def)
Formula	Formula.Const.remove(SInstance serv, Deficiency def)
abstract Formula	Formula.remove(SInstance serv, Deficiency def)
Formula	Formula.Var.remove(SInstance serv, Deficiency def)
Formula	FormulaDecl.Comp.resolve(CInstance cInst)
Formula	FormulaDecl.Const.resolve(CInstance cInst)
abstract Formula	FormulaDecl.resolve(CInstance cInst)
Formula	FormulaDecl.Var.resolve(CInstance cInst)
Formula	Formula.Comp.substitute(SInstance serv, Formula form)
Formula	Formula.Const.substitute(SInstance serv, Formula form)
abstract Formula	Formula.substitute(SInstance serv, Formula form)
Formula	Formula.Var.substitute(SInstance serv, Formula form)

Methods in eu.simuline.relana.expressions with parameters of type Formula

Modifier and Type	Method	Description
Formula	Formula.Comp.substitute(SInstance serv, Formula form)
Formula	Formula.Const.substitute(SInstance serv, Formula form)
abstract Formula	Formula.substitute(SInstance serv, Formula form)
Formula	Formula.Var.substitute(SInstance serv, Formula form)

Method parameters in eu.simuline.relana.expressions with type arguments of type Formula

Modifier and Type	Method	Description
private static Formula.Comp	Formula.Comp.create(Operation.Eval oper, Set<Formula> args)
static Formula	Formula.getFormula(Operation.Eval oper, Set<Formula> args)

Constructor parameters in eu.simuline.relana.expressions with type arguments of type Formula

Constructor	Description
Comp(Operation.Eval oper, Set<Formula> args)

Uses of Formula in eu.simuline.relana.model

Fields in eu.simuline.relana.model declared as Formula

Modifier and Type	Field	Description
private Formula	SInstance.form

Methods in eu.simuline.relana.model that return Formula

Modifier and Type	Method	Description
Formula	SInstance.getFormula()

Methods in eu.simuline.relana.model with parameters of type Formula

Modifier and Type	Method	Description
void	SInstance.setFormula(Formula form)
(package private) FlatCInstance	FlatCInstance.substitute(SInstance serv, Formula form)	Returns the FlatCInstance arising from this one by substituting serv by form in all effects.
(package private) SInstance	SInstance.substitute(SInstance serv, Formula form)