package tip
Ordering
- Alphabetic
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[Formula]) extends Product with Serializable
- case class TipProblem(ctx: ImmutableContext, sorts: Seq[TBase], datatypes: Seq[TipDatatype], uninterpretedConsts: Seq[Const], functions: Seq[TipFun], assumptions: Seq[Formula], goal: Formula) extends Product with Serializable
- trait TipProblemDefinition extends AnyRef
- class TipSmtParser extends AnyRef
Value Members
- object TipSmtParser extends ExternalProgram
This is the API documentation for GAPT.
The main package is at.logic.gapt.