public class TacletInstantiations
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ImmutableMap<SchemaVariable,Term> |
instantiations
the instantations
|
private Taclet |
rule
the rule
|
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() |
private Taclet rule
private ImmutableMap<SchemaVariable,Term> instantiations
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