Package

at.logic.gapt.expr

schema

Permalink

package schema

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. schema
  2. AnyRef
  3. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. case class IndexedVarSymbol(name: String, index: SchemaExpression) extends SymbolA with Product with Serializable

    Permalink
  2. type IntConst = Const

    Permalink
  3. type IntVar = Var

    Permalink
  4. type IntegerTerm = LambdaExpression

    Permalink
  5. type SchemaExpression = LambdaExpression

    Permalink
  6. type SchemaFormula = HOLFormula

    Permalink
  7. class SchemaSubstitution extends Substitution

    Permalink
  8. type fo2Var = Var

    Permalink
  9. class sTermRewriteSys extends AnyRef

    Permalink

Value Members

  1. object BigAnd

    Permalink
  2. object BigAndC extends MonomorphicLogicalC

    Permalink

    ************* OPERATORS ****************

  3. object BigOr

    Permalink
  4. object BigOrC extends MonomorphicLogicalC

    Permalink
  5. object BiggerThan

    Permalink
  6. object BiggerThanC extends MonomorphicLogicalC

    Permalink
  7. object IndexedPredicate

    Permalink

    ***********************************************************************

  8. object IntConst

    Permalink
  9. object IntVar

    Permalink

    ****************** SPECIAL INTEGERS ***********************************

  10. object IntZero extends MonomorphicLogicalC

    Permalink
  11. object LeqC extends MonomorphicLogicalC

    Permalink
  12. object LessThanC extends MonomorphicLogicalC

    Permalink
  13. object Pred

    Permalink
  14. object SchemaAtom

    Permalink
  15. object SchemaFunction

    Permalink
  16. object SchemaSubTerms

    Permalink
  17. object SchemaSubstitution

    Permalink
  18. object SimsC extends MonomorphicLogicalC

    Permalink
  19. object Succ

    Permalink
  20. object SuccC extends MonomorphicLogicalC

    Permalink
  21. object aTerm

    Permalink
  22. object dbTRS extends Iterable[(Const, ((SchemaExpression, SchemaExpression), (SchemaExpression, SchemaExpression)))]

    Permalink
  23. object fo2Var

    Permalink
  24. object foConst

    Permalink
  25. object foTerm

    Permalink
  26. object foVar

    Permalink
  27. object fowVar

    Permalink
  28. object indexedFOVar

    Permalink
  29. object indexedOmegaVar

    Permalink
  30. object isAtom

    Permalink
  31. object isSAtom

    Permalink
  32. object leq

    Permalink
  33. object lessThan

    Permalink
  34. package logicSymbols

    Permalink
  35. object sAtom

    Permalink
  36. object sIndTerm

    Permalink
  37. object sTerm

    Permalink
  38. object sTermDB extends Iterable[(Const, sTermRewriteSys)] with TraversableOnce[(Const, sTermRewriteSys)]

    Permalink
  39. object sTermRewriteSys

    Permalink
  40. object sims

    Permalink
  41. object toIntegerTerm

    Permalink
  42. object unfoldSFormula

    Permalink
  43. object unfoldSINDTerm

    Permalink
  44. object unfoldSTerm

    Permalink

Inherited from AnyRef

Inherited from Any

Ungrouped