Package

at.logic.gapt.provers.atp.commands

robinson

Permalink

package robinson

Visibility
  1. Public
  2. All

Type Members

  1. case class ClauseFactorCommand(alg: UnificationAlgorithm) extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink
  2. case class FactorCommand(alg: UnificationAlgorithm) extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink
  3. case class ParamodulationCommand(alg: UnificationAlgorithm) extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink
  4. case class ResolveCommand(alg: UnificationAlgorithm) extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink
  5. case class SetClausesCommand(clauses: Iterable[HOLSequent]) extends SetSequentsCommand[OccClause] with Product with Serializable

    Permalink

Value Members

  1. object SetClausesFromDataCommand extends DataCommand[OccClause] with Product with Serializable

    Permalink
  2. object VariantLiteralCommand extends DataCommand[OccClause] with Product with Serializable

    Permalink
  3. object VariantLiteralPositionCommand extends DataCommand[OccClause] with Product with Serializable

    Permalink
  4. object VariantsCommand extends DataCommand[OccClause] with Logger with Product with Serializable

    Permalink

Ungrouped