TermOrder

Class for representing total orderings on constants (and variables), and their extension to arbitrary terms. For the time being, we do not consider arbitrary (non-nullary) functions apart from the pre-defined arithmetic operations.

constantSeq is the list of constants that are totally ordered by this TermOrder, starting with the biggest constant. In addition, variable terms are by default ordered as bigger as all constants. We use the List datatype for the constant order, so that new large constants can efficiently be added.

Linear Supertypes

AnyRef, Any

Type Members

case class CoeffWeight(coefficient: IdealInt, baseWeight: NonCoeffWeight) extends Weight with Product with Serializable

Attributes
protected[ap.terfor]
case class ConstantWeight(value: Int) extends NonCoeffWeight with Product with Serializable

Attributes
protected[ap.terfor]
abstract class NonCoeffWeight extends Weight

Attributes
protected[ap.terfor]
case class VariableWeight(value: Int) extends NonCoeffWeight with Product with Serializable

Attributes
protected[ap.terfor]
abstract class Weight extends Ordered[Weight]

Weight objects that are used to abstract from the concrete terms.
Weight objects that are used to abstract from the concrete terms. There are three types of weights: for variables, and for constants, and for the literal 1. Variables are heavier that constants are heavier than literals.

Attributes
protected[ap.terfor]

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
val CONSTANT_NUM_SEP: Int
val EMPTY: TermOrder

The term order that cannot sort anything apart from Constant.ONE and variables
The term order that cannot sort anything apart from Constant.ONE and variables
object OneWeight extends NonCoeffWeight with Product with Serializable

Attributes
protected[ap.terfor]
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
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
def hashCode(): Int

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
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()
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
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 Docs: class TermOrder | package terfor

object TermOrder

Type Members

case class CoeffWeight(coefficient: IdealInt, baseWeight: NonCoeffWeight) extends Weight with Product with Serializable

case class ConstantWeight(value: Int) extends NonCoeffWeight with Product with Serializable

abstract class NonCoeffWeight extends Weight

case class VariableWeight(value: Int) extends NonCoeffWeight with Product with Serializable

abstract class Weight extends Ordered[Weight]

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

val CONSTANT_NUM_SEP: Int

val EMPTY: TermOrder

object OneWeight extends NonCoeffWeight with Product with Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

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