gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.provers/gapt.provers.verit/FormulaInstance

FormulaInstance

gapt.provers.verit.FormulaInstance
case class FormulaInstance(formula: Formula, terms: Seq[Expr])

Attributes

Source
VeriT.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

val instance: Formula

Attributes

Source
VeriT.scala
Generated with