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

TipProblem

gapt.formats.tip.TipProblem
case class TipProblem(ctx: ImmutableContext, definitions: Seq[Formula], sorts: Seq[TBase], datatypes: Seq[InductiveType], uninterpretedConsts: Seq[Const], functions: Seq[TipFun], assumptions: Seq[Formula], goal: Formula)

Attributes

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

Members list

Value members

Concrete methods

def context: ImmutableContext

Attributes

Source
problem.scala
def toSequent: HOLSequent

Attributes

Source
problem.scala
override def toString: String

Returns a string representation of the object.

Returns a string representation of the object.

The default representation is platform dependent.

Attributes

Returns

a string representation of the object.

Definition Classes
Any
Source
problem.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product

Concrete fields

val projectorDefinitions: Seq[Formula]

Attributes

Source
problem.scala
Generated with