AndB

case class AndB(x: Term[Int], y: Term[Int]) extends Term[Int]
trait Term[Int]
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def apply(c: Cursor): Result[Int]
def children: List[Term[_]]

Inherited methods

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
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product