Package

at.logic.gapt.provers.atp.commands

base

Permalink

package base

Content Hierarchy Learn more about scaladoc diagrams
Visibility
  1. Public
  2. All

Type Members

  1. case class BranchCommand[V <: OccSequent](commands: Iterable[Stream[Command[V]]]) extends Command[V] with Product with Serializable

    Permalink
  2. abstract class Command[V <: OccSequent] extends AnyRef

    Permalink

    Commands should return empty list in case they dont have an output and throw an exception in case they input is illegal (i.e.

    Commands should return empty list in case they dont have an output and throw an exception in case they input is illegal (i.e. the output of the previous command is not compatible with the expected input of this command )

  3. abstract class DataCommand[V <: OccSequent] extends Command[V] with (State, Any) ⇒ Iterable[(State, Any)]

    Permalink
  4. abstract class InitialCommand[V <: OccSequent] extends Command[V] with (State) ⇒ Iterable[(State, Any)]

    Permalink
  5. case class PrependCommand[V <: OccSequent](commands: Iterable[Command[V]]) extends Command[V] with Product with Serializable

    Permalink
  6. case class PrependOnCondCommand[V <: OccSequent](cond: (State, Any) ⇒ Boolean, commands: Iterable[Command[V]]) extends Command[V] with Product with Serializable

    Permalink
  7. case class RestoreCommand[V <: OccSequent](commands: Iterable[Command[V]]) extends Command[V] with Product with Serializable

    Permalink
  8. abstract class ResultCommand[V <: OccSequent] extends Command[V] with (State, Any) ⇒ Option[ResolutionProof[V]]

    Permalink
  9. case class SetStreamCommand[V <: OccSequent]() extends Command[V] with Product with Serializable

    Permalink
  10. case class SpawnCommand[V <: OccSequent]() extends Command[V] with Product with Serializable

    Permalink

Value Members

  1. object CommandsExhaustedException extends Exception

    Permalink

Ungrouped