Package eu.simuline.relana.expressions

Class Formula.Comp

java.lang.Object

eu.simuline.relana.expressions.Formula

eu.simuline.relana.expressions.Formula.Comp

Enclosing class:

Formula

public static final class Formula.Comp
extends Formula

Represents a compound formula, i.e. one defined via an operation.

Nested Class Summary

Nested classes/interfaces inherited from class eu.simuline.relana.expressions.Formula

Formula.Comp, Formula.Const, Formula.Var

Field Summary

Fields

Modifier and Type	Field	Description
private Set<Formula>	args
private Set<Deficiency>	max
private Set<Deficiency>	min
private Operation.Eval	oper

Fields inherited from class eu.simuline.relana.expressions.Formula

EMPTY_EXPRESSION

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
Formula	add(SInstance serv, Deficiency def)
private static Formula.Comp	create(Operation.Eval oper, Set<Formula> args)
Set<Deficiency>	getConst()	Returns the constant represented by this formula, if any.
Set<Deficiency>	getMax()
Set<Deficiency>	getMin()
Set<SInstance>	getVars()
Formula	remove(SInstance serv, Deficiency def)
Formula	substitute(SInstance serv, Formula form)
String	toString()

Methods inherited from class eu.simuline.relana.expressions.Formula

equals, getFormula, hashCode, main

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

min

private Set<Deficiency> min

max

private Set<Deficiency> max

oper

private final Operation.Eval oper

args

private final Set<Formula> args

Constructor Detail

Comp

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

Method Detail

create

private static Formula.Comp create(Operation.Eval oper,
                                   Set<Formula> args)

remove

public Formula remove(SInstance serv,
                      Deficiency def)

Specified by:

remove in class Formula

add

public Formula add(SInstance serv,
                   Deficiency def)

Specified by:

add in class Formula

substitute

public Formula substitute(SInstance serv,
                          Formula form)

Specified by:

substitute in class Formula

getVars

public Set<SInstance> getVars()

Specified by:

getVars in class Formula

getConst

public Set<Deficiency> getConst()

Description copied from class: Formula

Returns the constant represented by this formula, if any. If this is not a constant formula, i.e. an instance of Formula.Const, then null is returned.

Specified by:

getConst in class Formula

Returns:

• The constant represented by this formula if this is an instance of Formula.Const.
• null otherwise.

getMax

public Set<Deficiency> getMax()

Specified by:

getMax in class Formula

getMin

public Set<Deficiency> getMin()

Specified by:

getMin in class Formula

toString

public String toString()

Overrides:

toString in class Object