public static class MergeProcedure.ValuesMergeResult
extends java.lang.Object
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() |
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()
Copyright © 2003-2019 The KeY-Project.