Uses of Class
org.oristool.math.domain.DBMZone

Packages that use DBMZone

Package	Description
org.oristool.math	Provides classes for the encoding and manipulation of PDFs.
org.oristool.math.domain	PDF supports.
org.oristool.math.function	PDF densities.
org.oristool.models.tpn	Analysis of TPNs.

Uses of DBMZone in org.oristool.math

Methods in org.oristool.math with parameters of type DBMZone

Modifier and Type	Method	Description
static Set<DBMZone.Subzone>	Calculus.cpsz(DBMZone d, Variable v)
static Set<DBMZone.Subzone>	Calculus.cspsz(DBMZone d, Variable k)

Uses of DBMZone in org.oristool.math.domain

Methods in org.oristool.math.domain that return DBMZone

Modifier and Type	Method	Description
DBMZone	DBMZone.cartesianProduct(DBMZone other)	Computes the Cartesian product with another zone (with distinct set of variables).
DBMZone	DBMZone.Subzone.getDomain()

Methods in org.oristool.math.domain with parameters of type DBMZone

Modifier and Type	Method	Description
DBMZone	DBMZone.cartesianProduct(DBMZone other)	Computes the Cartesian product with another zone (with distinct set of variables).
boolean	DBMZone.contains(DBMZone other)	Checks whether this zone fully contains an input one.
void	DBMZone.intersect(DBMZone other)	Intersects this zone with the input one.

Constructors in org.oristool.math.domain with parameters of type DBMZone

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

Uses of DBMZone in org.oristool.math.function

Methods in org.oristool.math.function that return DBMZone

Modifier and Type	Method	Description
DBMZone	EXP.getDomain()
DBMZone	Function.getDomain()
DBMZone	GEN.getDomain()

Methods in org.oristool.math.function that return types with arguments of type DBMZone

Modifier and Type	Method	Description
default List<? extends DBMZone>	PartitionedFunction.getDomains()

Methods in org.oristool.math.function with parameters of type DBMZone

Modifier and Type	Method	Description
BigDecimal	StateDensityFunction.conditionToZone(DBMZone zone)	Intersects the support with the input zone, keeping only subzones with nonzero measure.
void	StateDensityFunction.imposeZone(DBMZone zone)	Intersects the support with the input zone, keeping only subzones with nonzero measure.

Constructors in org.oristool.math.function with parameters of type DBMZone

Modifier	Constructor	Description
	GEN(DBMZone domain, Expolynomial density)	Builds a new PDF with the given support and density function.

Uses of DBMZone in org.oristool.models.tpn

Methods in org.oristool.models.tpn that return DBMZone

Modifier and Type	Method	Description
DBMZone	TimedStateFeature.getDomain()

Methods in org.oristool.models.tpn with parameters of type DBMZone

Modifier and Type	Method	Description
void	TimedStateFeature.setDomain(DBMZone domain)