Predicate

trait Predicate extends Term[Boolean]
Companion:
object
trait Term[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
class And
class Contains[T]
class Eql[T]
object False.type
class Gt[T]
class GtEql[T]
class In[T]
class IsNull[T]
class Lt[T]
class LtEql[T]
class Matches
class NEql[T]
class Not
class Or
object True.type

Value members

Inherited methods

Inherited from:
Term
def canEqual(that: Any): Boolean
Inherited from:
Equals
def children: List[Term[_]]
Inherited from:
Term
def exists(f: Term[_] => Boolean): Boolean
Inherited from:
Term
def fold[Acc](acc: Acc)(f: (Acc, Term[_]) => Acc): Acc
Inherited from:
Term
def forall(f: Term[_] => Boolean): Boolean
Inherited from:
Term
Inherited from:
Product
def productElement(n: Int): Any
Inherited from:
Product
Inherited from:
Product
Inherited from:
Product
Inherited from:
Product