Package

at.logic.gapt.provers.atp.commands

logical

Permalink

package logical

Visibility
  1. Public
  2. All

Type Members

  1. case class DeterministicAndCommand[V <: OccSequent](commands: (Iterable[DataCommand[V]], Iterable[DataCommand[V]])) extends DataCommand[V] with Product with Serializable

    Permalink
  2. abstract class DeterministicMacroCommand[V <: OccSequent] extends Command[V] with (State) ⇒ (Iterable[(State, Option[ResolutionProof[V]])], Boolean)

    Permalink

Ungrouped