DomainSet

it.grypho.scala.leonardo.scalar.DomainSet
See theDomainSet companion object
case class DomainSet(constraints: Vector[Constraint], intervals: Option[Vector[Interval]])

The domain of an expression in one variable.

Value parameters

constraints

every requirement the expression places, always populated

intervals

the resolved real intervals, or None when they could not be derived

Attributes

Companion
object
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def isEmpty: Boolean

Whether the analysis proved the domain empty.

Whether the analysis proved the domain empty.

Attributes

def isUnrestricted: Boolean

Whether the expression is defined everywhere this analysis can see.

Whether the expression is defined everywhere this analysis can see.

Attributes

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product