public class TacletInstantiations
extends java.lang.Object
Constructor and Description |
---|
TacletInstantiations(Taclet rule,
ImmutableMap<SchemaVariable,Term> instantiations) |
Modifier and Type | Method and Description |
---|---|
ImmutableMap<SchemaVariable,Term> |
instantiations() |
Taclet |
taclet() |
java.lang.String |
toString() |
public TacletInstantiations(Taclet rule, ImmutableMap<SchemaVariable,Term> instantiations)
public Taclet taclet()
public ImmutableMap<SchemaVariable,Term> instantiations()
public java.lang.String toString()
toString
in class java.lang.Object
Copyright © 2003-2019 The KeY-Project.