smtlib.parser

Terms

object Terms

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Terms
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. case class AnnotatedTerm(term: Term, attribute: Attribute, attributes: Seq[Attribute]) extends Term with Product with Serializable

  2. case class Attribute(keyword: SKeyword, value: Option[AttributeValue]) extends Tree with Positioned with Product with Serializable

  3. sealed trait AttributeValue extends SExpr

  4. sealed trait Constant extends Term with AttributeValue

  5. case class Exists(sortedVar: SortedVar, sortedVars: Seq[SortedVar], term: Term) extends Term with Product with Serializable

  6. case class Forall(sortedVar: SortedVar, sortedVars: Seq[SortedVar], term: Term) extends Term with Product with Serializable

  7. case class FunctionApplication(fun: QualifiedIdentifier, terms: Seq[Term]) extends Term with Product with Serializable

  8. case class Identifier(symbol: SSymbol, indices: Seq[SExpr] = ...) extends Tree with Positioned with Product with Serializable

  9. sealed trait Index extends AnyRef

  10. case class Let(binding: VarBinding, bindings: Seq[VarBinding], term: Term) extends Term with Product with Serializable

  11. sealed trait Literal[T] extends Term with Constant

  12. case class QualifiedIdentifier(id: Identifier, sort: Option[Sort]) extends Term with Product with Serializable

  13. case class SBinary(value: List[Boolean]) extends Term with Literal[List[Boolean]] with Product with Serializable

  14. case class SDecimal(value: BigDecimal) extends Term with Literal[BigDecimal] with Product with Serializable

  15. sealed trait SExpr extends Tree with Positioned

  16. case class SHexadecimal(value: Hexadecimal) extends Term with Literal[Hexadecimal] with Product with Serializable

  17. case class SKeyword(name: String) extends SExpr with Product with Serializable

  18. case class SList(sexprs: List[SExpr]) extends SExpr with AttributeValue with Product with Serializable

  19. case class SNumeral(value: BigInt) extends Term with Literal[BigInt] with Index with Product with Serializable

  20. case class SString(value: String) extends Term with Literal[String] with Product with Serializable

  21. case class SSymbol(name: String) extends SExpr with AttributeValue with Index with Product with Serializable

  22. case class Sort(id: Identifier, subSorts: Seq[Sort]) extends Tree with Positioned with Product with Serializable

  23. case class SortedVar(name: SSymbol, sort: Sort) extends Tree with Positioned with Product with Serializable

  24. sealed abstract class Term extends Positioned with SExpr

  25. abstract class TermExtension extends Term

  26. case class VarBinding(name: SSymbol, term: Term) extends Tree with Positioned with Product with Serializable

Value Members

  1. final def !=(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any

  3. final def ##(): Int

    Definition Classes
    AnyRef → Any

  4. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  5. final def ==(arg0: Any): Boolean

    Definition Classes
    Any

  6. object Attribute extends Serializable

  7. object ExtendedIdentifier

  8. object QualifiedIdentifier extends Serializable

  9. object SList extends Serializable

  10. object SimpleIdentifier

  11. object Sort extends Serializable

  12. final def asInstanceOf[T0]: T0

    Definition Classes
    Any

  13. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  14. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  15. def equals(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any

  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )

  17. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any

  18. def hashCode(): Int

    Definition Classes
    AnyRef → Any

  19. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any

  20. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef

  21. final def notify(): Unit

    Definition Classes
    AnyRef

  22. final def notifyAll(): Unit

    Definition Classes
    AnyRef

  23. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef

  24. def toString(): String

    Definition Classes
    AnyRef → Any

  25. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  26. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  27. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AnyRef

Inherited from Any

Ungrouped