de.uka.ilkd.key.rule.inst

Class TacletInstantiations

java.lang.Object

de.uka.ilkd.key.rule.inst.TacletInstantiations

public class TacletInstantiations
extends java.lang.Object

this class contains a Taclet together with its suggested instantiations.

Field Summary

Fields

Modifier and Type	Field and Description
private ImmutableMap<SchemaVariable,Term>	instantiations the instantations
private Taclet	rule the rule

Constructor Summary

Constructors

Constructor and Description
TacletInstantiations(Taclet rule, ImmutableMap<SchemaVariable,Term> instantiations)

Method Summary

Modifier and Type	Method and Description
ImmutableMap<SchemaVariable,Term>	instantiations()
Taclet	taclet()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

rule

private Taclet rule

the rule

instantiations

private ImmutableMap<SchemaVariable,Term> instantiations

the instantations

Constructor Detail

TacletInstantiations

public TacletInstantiations(Taclet rule,
                            ImmutableMap<SchemaVariable,Term> instantiations)

Method Detail

taclet

public Taclet taclet()

instantiations

public ImmutableMap<SchemaVariable,Term> instantiations()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object