Terms

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 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[Index] = Seq()) extends 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 SComment(s: String) extends Product with Serializable

    

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

    

16. sealed trait SExpr extends Positioned

    

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

    

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

    

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

    

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

    

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

    

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

    

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

    

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

    

25. sealed abstract class Term extends Positioned with SExpr

    

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