gapt
2.20.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.tip/gapt.formats.tip.compiler/TipSmtToTipProblemCompiler

TipSmtToTipProblemCompiler

gapt.formats.tip.compiler.TipSmtToTipProblemCompiler
class TipSmtToTipProblemCompiler(var problem: TipSmtProblem)

Attributes

Source
TipProblemCompiler.scala
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Value members

Concrete methods

def compileExpression(expression: TipSmtExpression, freeVars: Seq[Var], resultType: Option[Ty]): Expr

Attributes

Source
TipProblemCompiler.scala
def declare(t: TBase): Unit

Attributes

Source
TipProblemCompiler.scala
def declare(f: Const): Unit

Attributes

Source
TipProblemCompiler.scala

Concrete fields

val assumptions: Buffer[Formula]

Attributes

Source
TipProblemCompiler.scala
val datatypes: Buffer[InductiveType]

Attributes

Source
TipProblemCompiler.scala
val funDecls: Map[String, Const]

Attributes

Source
TipProblemCompiler.scala
val functions: Buffer[TipFun]

Attributes

Source
TipProblemCompiler.scala
val goals: Buffer[Formula]

Attributes

Source
TipProblemCompiler.scala
val typeDecls: Map[String, TBase]

Attributes

Source
TipProblemCompiler.scala
Generated with