Package eu.simuline.relana.expressions

Class Formula.Const

java.lang.Object

eu.simuline.relana.expressions.Formula

eu.simuline.relana.expressions.Formula.Const

Enclosing class:

Formula

public static final class Formula.Const
extends Formula

Represents a constant 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 Type	type
private Set<Deficiency>	val

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

EMPTY_EXPRESSION

Constructor Summary

Constructors

Constructor	Description
Const(Set<Deficiency> val, Type type)

Method Summary

Modifier and Type	Method	Description
Formula	add(SInstance serv, Deficiency def)
private static Formula.Const	create(Set<Deficiency> val, Type type)
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

val

private final Set<Deficiency> val

type

private final Type type

Constructor Detail

Const

public Const(Set<Deficiency> val,
             Type type)

Method Detail

create

private static Formula.Const create(Set<Deficiency> val,
                                    Type type)

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