IntervalSet

Instance Constructors

new IntervalSet(equations: Seq[(Polynomial, BitSet)], oriInEqs: Seq[(Polynomial, BitSet)], negEqs: Seq[(Polynomial, BitSet)], basicBounds: Seq[(LinearCombination, BitSet)])

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def getAllIntervals: List[(ConstantTerm, Interval, (BitSet, BitSet, BitSet))]
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def getGaps: List[(ConstantTerm, Interval, BitSet)]
def getInconsistency: Option[(ConstantTerm, Interval, BitSet)]
def getIntervals: List[(ConstantTerm, Interval, (Boolean, Boolean, Boolean), (BitSet, BitSet, BitSet))]
def getLabelledTermInterval(ct: ConstantTerm): (Interval, (BitSet, BitSet, BitSet))

Get the interval known for a variable.
Get the interval known for a variable. The second component specifies lower/upper/gap assumption
def getTermInterval(ct: ConstantTerm): Interval
def getTermIntervalOption(ct: ConstantTerm): Option[Interval]
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
val inEqs: IndexedSeq[(Polynomial, BitSet)]
def intWithLabel(lower: (IntervalInt, BitSet), upper: (IntervalInt, BitSet)): (Interval, BitSet)
val intervals: LinkedHashMap[ConstantTerm, (Interval, (Boolean, Boolean, Boolean), (BitSet, BitSet, BitSet))]
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def lowerLimit(p: Polynomial): (IntervalInt, BitSet)
def lowerLimit(t: CoeffMonomial): (IntervalInt, BitSet)
def lowerLimit(m: Monomial): (IntervalInt, BitSet)

Lower Limit functions
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
final def notifyAll(): Unit

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()
def propagateGreaterThan(term: CoeffMonomial, ct: ConstantTerm, exp: Int, divMon: Monomial, rhs: Polynomial): (Interval, (BitSet, BitSet, BitSet))

Propagation functions
def propagateIneq(p: Polynomial, pLabel: BitSet): Unit
def propagateLessThan(term: CoeffMonomial, ct: ConstantTerm, exp: Int, divMon: Monomial, rhs: Polynomial): (Interval, (BitSet, BitSet, BitSet))
def propagateSpecials: Unit

Propagates equations s.t.
Propagates equations s.t. f*g = g -- (f != 1) => (g = 0) -- (g != 0) => (f = 1)
This works on equations only
val symbols: Seq[ConstantTerm]
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
IntervalSet → AnyRef → Any
def updateInterval(term: ConstantTerm, interval: Interval, lowerLabel: BitSet, upperLabel: BitSet, gapLabel: BitSet): Unit
def upperLimit(p: Polynomial): (IntervalInt, BitSet)
def upperLimit(t: CoeffMonomial): (IntervalInt, BitSet)
def upperLimit(m: Monomial): (IntervalInt, BitSet)

Upper Limit functions
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Deprecated Value Members

def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated
(Since version ) see corresponding Javadoc for more information.

Related Doc: package nia

class IntervalSet extends AnyRef

Instance Constructors

new IntervalSet(equations: Seq[(Polynomial, BitSet)], oriInEqs: Seq[(Polynomial, BitSet)], negEqs: Seq[(Polynomial, BitSet)], basicBounds: Seq[(LinearCombination, BitSet)])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def getAllIntervals: List[(ConstantTerm, Interval, (BitSet, BitSet, BitSet))]

final def getClass(): Class[_]

def getGaps: List[(ConstantTerm, Interval, BitSet)]

def getInconsistency: Option[(ConstantTerm, Interval, BitSet)]

def getIntervals: List[(ConstantTerm, Interval, (Boolean, Boolean, Boolean), (BitSet, BitSet, BitSet))]

def getLabelledTermInterval(ct: ConstantTerm): (Interval, (BitSet, BitSet, BitSet))

def getTermInterval(ct: ConstantTerm): Interval

def getTermIntervalOption(ct: ConstantTerm): Option[Interval]

def hashCode(): Int

val inEqs: IndexedSeq[(Polynomial, BitSet)]

def intWithLabel(lower: (IntervalInt, BitSet), upper: (IntervalInt, BitSet)): (Interval, BitSet)

val intervals: LinkedHashMap[ConstantTerm, (Interval, (Boolean, Boolean, Boolean), (BitSet, BitSet, BitSet))]

final def isInstanceOf[T0]: Boolean

def lowerLimit(p: Polynomial): (IntervalInt, BitSet)

def lowerLimit(t: CoeffMonomial): (IntervalInt, BitSet)

def lowerLimit(m: Monomial): (IntervalInt, BitSet)

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def propagateGreaterThan(term: CoeffMonomial, ct: ConstantTerm, exp: Int, divMon: Monomial, rhs: Polynomial): (Interval, (BitSet, BitSet, BitSet))

def propagateIneq(p: Polynomial, pLabel: BitSet): Unit

def propagateLessThan(term: CoeffMonomial, ct: ConstantTerm, exp: Int, divMon: Monomial, rhs: Polynomial): (Interval, (BitSet, BitSet, BitSet))

def propagateSpecials: Unit

val symbols: Seq[ConstantTerm]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

def updateInterval(term: ConstantTerm, interval: Interval, lowerLabel: BitSet, upperLabel: BitSet, gapLabel: BitSet): Unit

def upperLimit(p: Polynomial): (IntervalInt, BitSet)

def upperLimit(t: CoeffMonomial): (IntervalInt, BitSet)

def upperLimit(m: Monomial): (IntervalInt, BitSet)

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

final def wait(): Unit

Deprecated Value Members

def finalize(): Unit

Inherited from AnyRef

Inherited from Any

Ungrouped