Package gov.nasa.jpl.aerie.contrib.streamline.modeling.polynomial

Class LinearBoundaryConsistencySolver.Domain

java.lang.Object

gov.nasa.jpl.aerie.contrib.streamline.modeling.polynomial.LinearBoundaryConsistencySolver.Domain

Enclosing class:

LinearBoundaryConsistencySolver

public static final class LinearBoundaryConsistencySolver.Domain
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
final LinearBoundaryConsistencySolver.Variable	variable

Constructor Summary

Constructors

Constructor	Description
Domain(LinearBoundaryConsistencySolver.Variable variable)

Method Summary

Modifier and Type	Method	Description
boolean	isEmpty()
boolean	isUnsolved()
Expiring<Polynomial>	lowerBound()
boolean	restrictLower(Expiring<Polynomial> newLowerBound)
boolean	restrictUpper(Expiring<Polynomial> newUpperBound)
String	toString()
Expiring<Polynomial>	upperBound()

Methods inherited from class java.lang.Object

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

Field Details

variable

public final LinearBoundaryConsistencySolver.Variable variable

Constructor Details

Domain

public Domain(LinearBoundaryConsistencySolver.Variable variable)

Method Details

lowerBound

public Expiring<Polynomial> lowerBound()

upperBound

public Expiring<Polynomial> upperBound()

restrictLower

public boolean restrictLower(Expiring<Polynomial> newLowerBound)

restrictUpper

public boolean restrictUpper(Expiring<Polynomial> newUpperBound)

toString

public String toString()

Overrides:

toString in class Object

isEmpty

public boolean isEmpty()

isUnsolved

public boolean isUnsolved()