Package

at.logic.gapt.provers.atp.commands

guided

Permalink

package guided

Visibility
  1. Public
  2. All

Type Members

  1. case class AddGuidedClausesCommand(ids: Iterable[String]) extends DataCommand[OccClause] with Product with Serializable

    Permalink
  2. case class AddGuidedInitialClauseCommand(id: String, cls: Seq[FOLFormula]) extends DataCommand[OccClause] with Product with Serializable

    Permalink
  3. case class AddGuidedResolventCommand(id: String) extends DataCommand[OccClause] with Product with Serializable

    Permalink
  4. case class GetGuidedClausesCommand(parentIds: Iterable[String]) extends DataCommand[OccClause] with Product with Serializable

    Permalink
  5. case class GetGuidedClausesLiterals(ls: Iterable[(String, Int)]) extends DataCommand[OccClause] with Product with Serializable

    Permalink
  6. case class GetGuidedClausesLiteralsPositions(ls: Iterable[(String, Int, Iterable[Int])]) extends DataCommand[OccClause] with Product with Serializable

    Permalink

Value Members

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

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

    Permalink

Ungrouped