public static class MergeProcedure.ValuesMergeResult
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private Term |
mergeVal |
private ImmutableSet<Term> |
newConstraints |
private java.util.LinkedHashSet<Name> |
newNames |
private java.util.LinkedHashSet<Term> |
sideConditions |
Constructor and Description |
---|
ValuesMergeResult(ImmutableSet<Term> newConstraints,
Term mergeVal,
java.util.LinkedHashSet<Name> newNames,
java.util.LinkedHashSet<Term> sideConditions) |
Modifier and Type | Method and Description |
---|---|
Term |
getMergeVal() |
ImmutableSet<Term> |
getNewConstraints() |
java.util.LinkedHashSet<Name> |
getNewNames() |
java.util.LinkedHashSet<Term> |
getSideConditions() |
private ImmutableSet<Term> newConstraints
private Term mergeVal
private java.util.LinkedHashSet<Name> newNames
private java.util.LinkedHashSet<Term> sideConditions
public ValuesMergeResult(ImmutableSet<Term> newConstraints, Term mergeVal, java.util.LinkedHashSet<Name> newNames, java.util.LinkedHashSet<Term> sideConditions)
public ImmutableSet<Term> getNewConstraints()
public Term getMergeVal()
public java.util.LinkedHashSet<Name> getNewNames()
public java.util.LinkedHashSet<Term> getSideConditions()