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: Context, sorts: Seq[TBase], datatypes: Seq[TipDatatype], uninterpretedConsts: Seq[Const], functions: Seq[TipFun], assumptions: Seq[Formula], goal: Formula) extends Product with Serializable
- class TipSmtParser extends AnyRef
Value Members
- object TipSmtParser extends ExternalProgram