package tip
Ordering
- Alphabetic
Visibility
- Public
- Protected
Package Members
Type Members
- case class TipFun(fun: Const, definitions: Seq[Formula]) extends Product with Serializable
- 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) extends Product with Serializable
- trait TipProblemDefinition extends AnyRef
Value Members
- object TipSmtImporter extends ExternalProgram
- object subterms
- object tipScalaEncoding
This is the API documentation for GAPT.
The main package is gapt.