Contains

edu.gemini.grackle.Predicate$.Contains
case class Contains[T](x: Term[List[T]], y: Term[T])(implicit evidence$3: Eq[T]) extends Predicate

Attributes

Source:
predicate.scala
Graph
Supertypes
trait Predicate
trait Term[Boolean]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Concrete methods

Attributes

Source:
predicate.scala
def children: List[Term[_]]

Attributes

Source:
predicate.scala
def subst(x: Term[List[T]], y: Term[T]): Contains[T]

Attributes

Source:
predicate.scala

Inherited methods

def exists(f: Term[_] => Boolean): Boolean

Attributes

Inherited from:
Term
Source:
predicate.scala
def fold[Acc](acc: Acc)(f: (Acc, Term[_]) => Acc): Acc

Attributes

Inherited from:
Term
Source:
predicate.scala
def forall(f: Term[_] => Boolean): Boolean

Attributes

Inherited from:
Term
Source:
predicate.scala

Attributes

Inherited from:
Product

Attributes

Inherited from:
Product