Package

at.logic.gapt.provers.atp.commands.refinements

base

Permalink

package base

Visibility
  1. Public
  2. All

Type Members

  1. abstract class Refinement[V <: OccSequent] extends AnyRef

    Permalink
  2. case class SequentsMacroCommand[V <: OccSequent](init: InitialCommand[V], datas: Iterable[DataCommand[V]], result: ResultCommand[V]) extends DeterministicMacroCommand[V] with Product with Serializable

    Permalink

Value Members

  1. object RefinementID

    Permalink

Ungrouped