Package

ap

types

Permalink

package types

Visibility
  1. Public
  2. All

Type Members

  1. class IntToTermTranslator extends CollectingVisitor[Unit, IExpression]

    Permalink

    Class to systematically replace integer literals in an expression with equivalent symbolic terms.

  2. class MonoSortedIFunction extends SortedIFunction

    Permalink

    Class for monomorphically sorted functions.

  3. class MonoSortedPredicate extends SortedPredicate

    Permalink

    Class for monomorphically sorted predicates

  4. class ProxySort extends Sort

    Permalink

    Class to define proxy sorts, which inherit most properties from some underlying sort, but may override some of the features.

  5. trait Sort extends AnyRef

    Permalink

    Trait representing sorts of individuals in the logic.

  6. class SortedConstantTerm extends ConstantTerm

    Permalink

    Sorted version of constants.

  7. abstract class SortedIFunction extends IFunction

    Permalink

    General class representing sorted functions; sub-classes can model both monomorphic and polymorphic functions.

  8. abstract class SortedPredicate extends Predicate

    Permalink

    General class representing sorted predicates; sub-classes can model both monomorphic and polymorphic predicates.

  9. class UninterpretedSortTheory extends Theory

    Permalink

    Theory to handle an uninterpreted sort.

    Theory to handle an uninterpreted sort. To ensure correct semantics, (non-empty, but cardinality might be finite or infinite), each uninterpreted sort is associated to a domain predicate, and an axiom specifying inhabitation is added.

Value Members

  1. object IntToTermTranslator

    Permalink
  2. object MonoSortedIFunction

    Permalink
  3. object MonoSortedPredicate

    Permalink
  4. object Sort

    Permalink
  5. object SortedConstantTerm

    Permalink
  6. object SortedIFunction

    Permalink
  7. object SortedPredicate

    Permalink
  8. object TypeTheory extends Theory

    Permalink

    Theory taking care of types of declared symbols.

  9. object UninterpretedSortTheory

    Permalink

Ungrouped