at.logic.skeptik.expression

position

package position

Visibility
  1. Public
  2. All

Type Members

  1. class ComposedPosition extends Position

  2. class IndexedPosition extends SinglePosition

  3. class InexistentPositionException extends Exception

  4. class OrPosition extends Position

  5. class Position extends AnyRef

    Attributes
    abstract

  6. class PredicatePosition extends Position

  7. class SinglePosition extends Position

    Attributes
    abstract

Value Members

  1. object EmptyPosition extends Position

  2. object TotalPosition extends PredicatePosition