at
.
logic
.
gapt
.
formats
tip
package
tip
Visibility
Public
All
Type Members
case class
TipConstructor
(
constr:
Const
,
projectors:
Seq
[
Const
]
)
extends
Product
with
Serializable
case class
TipDatatype
(
t:
TBase
,
constructors:
Seq
[
TipConstructor
]
)
extends
Product
with
Serializable
case class
TipFun
(
fun:
Const
,
definitions:
Seq
[
HOLFormula
]
)
extends
Product
with
Serializable
case class
TipProblem
(
sorts:
Seq
[
TBase
]
,
datatypes:
Seq
[
TipDatatype
]
,
uninterpretedConsts:
Seq
[
Const
]
,
functions:
Seq
[
TipFun
]
,
assumptions:
Seq
[
HOLFormula
]
,
goal:
HOLFormula
)
extends
Product
with
Serializable
class
TipSmtParser
extends
AnyRef
Value Members
object
TipSmtParser
extends
ExternalProgram
Ungrouped