gapt
2.18.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.formats/gapt.formats.tip/TipProblemDefinition

TipProblemDefinition

gapt.formats.tip.TipProblemDefinition
trait TipProblemDefinition

Attributes

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

Members list

Value members

Abstract methods

def assumptions: Seq[Formula]

Attributes

Source
problem.scala
def datatypes: Seq[InductiveType]

Attributes

Source
problem.scala
def functions: Seq[TipFun]

Attributes

Source
problem.scala
def goal: Formula

Attributes

Source
problem.scala
def sorts: Seq[TBase]

Attributes

Source
problem.scala
def uninterpretedConsts: Seq[Const]

Attributes

Source
problem.scala

Concrete methods

def loadProblem: TipProblem

Attributes

Source
problem.scala
Generated with