Package

at.logic.gapt.formats

tip

Permalink

package tip

Visibility
  1. Public
  2. All

Type Members

  1. case class TipConstructor(constr: Const, projectors: Seq[Const]) extends Product with Serializable

    Permalink
  2. case class TipDatatype(t: TBase, constructors: Seq[TipConstructor]) extends Product with Serializable

    Permalink
  3. case class TipFun(fun: Const, definitions: Seq[HOLFormula]) extends Product with Serializable

    Permalink
  4. case class TipProblem(sorts: Seq[TBase], datatypes: Seq[TipDatatype], uninterpretedConsts: Seq[Const], functions: Seq[TipFun], assumptions: Seq[HOLFormula], goal: HOLFormula) extends Product with Serializable

    Permalink
  5. class TipSmtParser extends AnyRef

    Permalink

Value Members

  1. object TipSmtParser extends ExternalProgram

    Permalink

Ungrouped