Packages

c

ap.proof.theoryPlugins

PrioritisedPluginTask

class PrioritisedPluginTask extends PluginTask with PrioritisedTask

Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. PrioritisedPluginTask
  2. PrioritisedTask
  3. PluginTask
  4. Task
  5. AnyRef
  6. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Instance Constructors

  1. new PrioritisedPluginTask(plugin: TheoryProcedure, basePriority: Int, age: Int)

Value Members

  1. def apply(goal: Goal, ptf: ProofTreeFactory): ProofTree
    Definition Classes
    PluginTaskTask
  2. val plugin: TheoryProcedure
    Definition Classes
    PluginTask
  3. val priority: Int
  4. def toString(): String
    Definition Classes
    PrioritisedPluginTask → AnyRef → Any
  5. def updateTask(goal: Goal, factCollector: (Conjunction) => Unit): Seq[PrioritisedTask]

    Update the task with possibly new information from the goal.

    Update the task with possibly new information from the goal. Currently, this does not modify the theory procedure.

    Definition Classes
    PrioritisedPluginTaskPrioritisedTask