package parser
Ordering
- Alphabetic
Visibility
- Public
- All
Type Members
- case class Datatype(name: String) extends Product with Serializable
- case class TipSmtAnd(exprs: Seq[TipSmtExpression]) extends TipSmtExpression with Product with Serializable
- case class TipSmtAssertion(keywords: Seq[TipSmtKeyword], expr: TipSmtExpression) extends TipSmtCommand with Product with Serializable
- sealed trait TipSmtAst extends AnyRef
- case class TipSmtCase(pattern: TipSmtPattern, expr: TipSmtExpression) extends Product with Serializable
- case class TipSmtCheckSat() extends TipSmtCommand with Product with Serializable
- sealed trait TipSmtCommand extends AnyRef
- case class TipSmtConstantDeclaration(name: String, keywords: Seq[TipSmtKeyword], typ: TipSmtType) extends TipSmtCommand with Product with Serializable
- case class TipSmtConstructor(name: String, keywords: Seq[TipSmtKeyword], fields: Seq[TipSmtConstructorField]) extends TipSmtAst with Product with Serializable
- case class TipSmtConstructorField(name: String, typ: TipSmtType) extends TipSmtAst with Product with Serializable
- case class TipSmtConstructorPattern(constructor: TipSmtIdentifier, identifiers: Seq[TipSmtIdentifier]) extends TipSmtPattern with Product with Serializable
- case class TipSmtDatatype(name: String, keywords: Seq[TipSmtKeyword], constructors: Seq[TipSmtConstructor]) extends TipSmtAst with Product with Serializable
- case class TipSmtDatatypesDeclaration(datatypes: Seq[TipSmtDatatype]) extends TipSmtCommand with Product with Serializable
- abstract class TipSmtDefinitionVisitor[T, R] extends AnyRef
- case class TipSmtDistinct(expressions: Seq[TipSmtExpression]) extends TipSmtExpression with Product with Serializable
- case class TipSmtEq(exprs: Seq[TipSmtExpression]) extends TipSmtExpression with Product with Serializable
- case class TipSmtExists(variables: Seq[TipSmtVariableDecl], formula: TipSmtExpression) extends TipSmtExpression with Product with Serializable
- sealed trait TipSmtExpression extends TipSmtAst
- case class TipSmtForall(variables: Seq[TipSmtVariableDecl], formula: TipSmtExpression) extends TipSmtExpression with Product with Serializable
- case class TipSmtFormalParameter(name: String, typ: TipSmtType) extends TipSmtAst with Product with Serializable
- case class TipSmtFun(name: String, arguments: Seq[TipSmtExpression]) extends TipSmtExpression with Product with Serializable
- case class TipSmtFunctionDeclaration(name: String, keywords: Seq[TipSmtKeyword], argumentTypes: Seq[TipSmtType], returnType: TipSmtType) extends TipSmtCommand with Product with Serializable
- case class TipSmtFunctionDefinition(name: String, keywords: Seq[TipSmtKeyword], parameters: Seq[TipSmtFormalParameter], returnType: TipSmtType, body: TipSmtExpression) extends TipSmtCommand with Product with Serializable
- case class TipSmtGoal(keywords: Seq[TipSmtKeyword], expr: TipSmtExpression) extends TipSmtCommand with Product with Serializable
- case class TipSmtIdentifier(name: String) extends TipSmtExpression with Product with Serializable
- case class TipSmtImp(exprs: Seq[TipSmtExpression]) extends TipSmtExpression with Product with Serializable
- case class TipSmtIte(cond: TipSmtExpression, ifTrue: TipSmtExpression, ifFalse: TipSmtExpression) extends TipSmtExpression with Product with Serializable
- case class TipSmtKeyword(name: String, argument: Option[String]) extends TipSmtAst with Product with Serializable
- case class TipSmtMatch(expr: TipSmtExpression, cases: Seq[TipSmtCase]) extends TipSmtExpression with Product with Serializable
- case class TipSmtMutualRecursiveFunctionDefinition(functions: Seq[TipSmtFunctionDefinition]) extends TipSmtCommand with Product with Serializable
- case class TipSmtNot(expr: TipSmtExpression) extends TipSmtExpression with Product with Serializable
- case class TipSmtOr(exprs: Seq[TipSmtExpression]) extends TipSmtExpression with Product with Serializable
- case class TipSmtParserException(message: String) extends Exception with Product with Serializable
- sealed trait TipSmtPattern extends AnyRef
- case class TipSmtProblem(definitions: Seq[TipSmtCommand]) extends Product with Serializable
- case class TipSmtSortDeclaration(name: String, keywords: Seq[TipSmtKeyword]) extends TipSmtCommand with Product with Serializable
- case class TipSmtType(typename: String) extends TipSmtAst with Product with Serializable
- case class TipSmtVariableDecl(name: String, typ: TipSmtType) extends Product with Serializable
Value Members
- object TipSmtDefault extends TipSmtPattern with Product with Serializable
- object TipSmtFalse extends TipSmtExpression with Product with Serializable
- object TipSmtParser
- object TipSmtTrue extends TipSmtExpression with Product with Serializable
- object toSExpression
- object toTipAst
This is the API documentation for GAPT.
The main package is gapt.