Bound

final case
class Bound(lc: Long, tc: Long, measure: Long, lb: Long, ub: Long)
Value Params
lb

Lower bound on the value.

lc

Bound on the leading coefficient.

measure

Bound on the measure.

tc

Bound on the trailing coefficient.

ub

Upper bound on the value.

trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def getBitBound(degreeBound: Long): Long

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product