# PredConj

### Related Docs: class PredConj | package preds

#### object PredConj

Linear Supertypes
AnyRef, Any
Ordering
1. Alphabetic
2. By inheritance
Inherited
1. PredConj
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

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

Definition Classes
Any
11. #### def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
12. #### def conj(conjs: Iterable[PredConj], order: TermOrder): PredConj

Compute the conjunction of equations, inequations and inequalities.

14. #### def conj(conjs: Iterator[PredConj], logger: ComputationLogger, order: TermOrder): PredConj

Compute the conjunction of equations, inequations and inequalities.

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

Definition Classes
AnyRef
16. #### def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
17. #### def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
18. #### def findAtomsWithPred(atoms: IndexedSeq[Atom], pred: Predicate, order: TermOrder): (Int, Int)

Find all atoms in `atoms` with predicate `pred`, returning the interval `[left, right)` with such atoms.

Find all atoms in `atoms` with predicate `pred`, returning the interval `[left, right)` with such atoms. The list has to be sorted in descending order (`order.reverseAtomOrdering`).

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

Definition Classes
AnyRef → Any
20. #### def hashCode(): Int

Definition Classes
AnyRef → Any
21. #### final def isInstanceOf[T0]: Boolean

Definition Classes
Any
22. #### final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
23. #### final def notify(): Unit

Definition Classes
AnyRef
24. #### final def notifyAll(): Unit

Definition Classes
AnyRef
25. #### final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
26. #### def toString(): String

Definition Classes
AnyRef → Any
27. #### final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
28. #### final def wait(arg0: Long, arg1: Int): Unit

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

Definition Classes
AnyRef
Annotations
@throws( ... )