gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.logic/gapt.logic.hol/gapt.logic.hol.dls/vectorEq

vectorEq

gapt.logic.hol.dls.vectorEq
object vectorEq

Attributes

Source
dls.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
vectorEq.type

Members list

Value members

Concrete methods

def apply(expressionsA: Iterable[Expr], expressionsB: Iterable[Expr]): Formula

Attributes

Source
dls.scala
Generated with