de.uka.ilkd.key.proof

Class TacletIndexKit.MultiThreadedTacletIndexKit

java.lang.Object

de.uka.ilkd.key.proof.TacletIndexKit

de.uka.ilkd.key.proof.TacletIndexKit.MultiThreadedTacletIndexKit

Enclosing class:

TacletIndexKit

private static class TacletIndexKit.MultiThreadedTacletIndexKit
extends TacletIndexKit

Concrete factory creating the multi threaded version of the TacletIndex (performs matching using multiple threads)

Constructor Summary

Constructors

Modifier	Constructor and Description
private	MultiThreadedTacletIndexKit()

Method Summary

Modifier and Type	Method and Description
TacletIndex	createTacletIndex() abstract factory method to create an empty TacletIndex
TacletIndex	createTacletIndex(java.lang.Iterable<Taclet> tacletSet) abstract factory method to create a TacletIndex containing the provided taclets

Methods inherited from class de.uka.ilkd.key.proof.TacletIndexKit

getKit

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

MultiThreadedTacletIndexKit

private MultiThreadedTacletIndexKit()

Method Detail

createTacletIndex

public TacletIndex createTacletIndex()

Description copied from class: TacletIndexKit

abstract factory method to create an empty TacletIndex

Specified by:

createTacletIndex in class TacletIndexKit

Returns:

the created TacletIndex

createTacletIndex

public TacletIndex createTacletIndex(java.lang.Iterable<Taclet> tacletSet)

Description copied from class: TacletIndexKit

abstract factory method to create a TacletIndex containing the provided taclets

Specified by:

createTacletIndex in class TacletIndexKit

Returns:

the created TacletIndex