Package org.oristool.math.domain

Class DBMZone.Subzone

java.lang.Object

org.oristool.math.domain.DBMZone.Subzone

Enclosing class:

DBMZone

public static final class DBMZone.Subzone
extends Object

A subzone resulting from a projection.

Constructor Summary

Constructors

Constructor	Description
Subzone(DBMZone domain, Variable projectedVar, Variable minVar, OmegaBigDecimal minVarDelay, Variable maxVar, OmegaBigDecimal maxVarAdvance)	Creates a representation of a subzone resulting from a projection.

Method Summary

Modifier and Type	Method	Description
DBMZone	getDomain()
Variable	getMaxVar()
OmegaBigDecimal	getMaxVarAdvance()
Variable	getMinVar()
OmegaBigDecimal	getMinVarDelay()
Variable	getProjectedVar()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Subzone

public Subzone(DBMZone domain,
 Variable projectedVar,
 Variable minVar,
 OmegaBigDecimal minVarDelay,
 Variable maxVar,
 OmegaBigDecimal maxVarAdvance)

Creates a representation of a subzone resulting from a projection.

Parameters:

domain - the original zone

projectedVar - the variable that was projected

minVar - the variable attaining the minimum

minVarDelay - the delay of the variable attaining the minimum

maxVar - the variable attaining the maximum

maxVarAdvance - the advance of the variable attaining the maximum

Method Details

getDomain

public DBMZone getDomain()

getProjectedVar

public Variable getProjectedVar()

getMinVar

public Variable getMinVar()

getMinVarDelay

public OmegaBigDecimal getMinVarDelay()

getMaxVar

public Variable getMaxVar()

getMaxVarAdvance

public OmegaBigDecimal getMaxVarAdvance()