Package eu.simuline.relana.expressions

Class Formula.Var

java.lang.Object

eu.simuline.relana.expressions.Formula

eu.simuline.relana.expressions.Formula.Var

Enclosing class:

Formula

public static final class Formula.Var
extends Formula

Represents a variable interpreted as atomic formula.

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 String	name
private SInstance	varS

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

EMPTY_EXPRESSION

Constructor Summary

Constructors

Constructor	Description
Var(SInstance varS, String name)

Method Summary

Modifier and Type	Method	Description
Formula	add(SInstance serv, Deficiency def)
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

varS

private final SInstance varS

name

private final String name

Constructor Detail

Var

public Var(SInstance varS,
           String name)

Method Detail

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