public static class SVInstantiations.UpdateLabelPair extends Object
Modifier and Type | Field and Description |
---|---|
private Term |
update |
private ImmutableArray<TermLabel> |
updateApplicationlabels |
Constructor and Description |
---|
SVInstantiations.UpdateLabelPair(Term update,
ImmutableArray<TermLabel> updateApplicationlabels) |
private Term update
private ImmutableArray<TermLabel> updateApplicationlabels
public SVInstantiations.UpdateLabelPair(Term update, ImmutableArray<TermLabel> updateApplicationlabels)