public class TacletInstantiations extends 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) |
private Taclet rule
private ImmutableMap<SchemaVariable,Term> instantiations
public TacletInstantiations(Taclet rule, ImmutableMap<SchemaVariable,Term> instantiations)
public Taclet taclet()
public ImmutableMap<SchemaVariable,Term> instantiations()