# TerForConvenience

### Related Doc: package terfor

#### object TerForConvenience

Collection of functions that makes it easier to use the term/formula datastructures by adding lots of syntactic sugar

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By Inheritance
Inherited
1. TerForConvenience
2. AnyRef
3. Any
1. Hide All
2. Show All
Visibility
1. Public
2. All

### Value Members

1. #### final def !=(arg0: Any): Boolean

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

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

Definition Classes
AnyRef → Any

8. #### final def asInstanceOf[T0]: T0

Definition Classes
Any

11. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate() @throws( ... )

21. #### final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef

26. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
27. #### def exists(n: Int, f: Formula)(implicit order: TermOrder): Conjunction

Quantify the variables with De Brujin-index `[0, ..., n)`

Quantify the variables with De Brujin-index `[0, ..., n)`

28. #### def exists(f: Formula)(implicit order: TermOrder): Conjunction

Quantify the variable with De Brujin-index 0

31. #### def existsSorted(sorts: Seq[Sort], f: Formula)(implicit order: TermOrder): Conjunction

Quantify the variables with De Brujin-index `[0, ..., sorts.size)`, assuming they have the given sorts

Quantify the variables with De Brujin-index `[0, ..., sorts.size)`, assuming they have the given sorts

32. #### def forall(n: Int, f: Formula)(implicit order: TermOrder): Conjunction

Quantify the variables with De Brujin-index [0, ..., n)

33. #### def forall(f: Formula)(implicit order: TermOrder): Conjunction

Quantify the variable with De Brujin-index 0

36. #### def forallSorted(sorts: Seq[Sort], f: Formula)(implicit order: TermOrder): Conjunction

Quantify the variables with De Brujin-index `[0, ..., sorts.size)`, assuming they have the given sorts

Quantify the variables with De Brujin-index `[0, ..., sorts.size)`, assuming they have the given sorts

39. #### final def getClass(): Class[_]

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

Definition Classes
AnyRef → Any
Annotations
@HotSpotIntrinsicCandidate()

43. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any

49. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef

53. #### final def notify(): Unit

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

Definition Classes
AnyRef
Annotations
@HotSpotIntrinsicCandidate()

62. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef

65. #### def toString(): String

Definition Classes
AnyRef → Any

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

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

### Deprecated Value Members

1. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
Deprecated