Generated with

gapt/gapt/gapt.proofs/gapt.proofs.lk/gapt.proofs.lk.transformations/IterativeSelectiveStrategy

IterativeSelectiveStrategy

gapt.proofs.lk.transformations.IterativeSelectiveStrategy

class IterativeSelectiveStrategy(selector: Selector) extends ReductionStrategy

Attributes

Source: reductionStrategies.scala
Graph
Supertypes: trait ReductionStrategy

class Object

trait Matchable

class Any

Members list

Value members

Concrete methods

Attributes

Definition Classes: ReductionStrategy
Source: reductionStrategies.scala

In this article

Generated with