class AbstractionPredicatesChoiceDialog.Result
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.LinkedHashMap<ProgramVariable,AbstractDomainElement> |
abstractDomElemUserChoices |
private java.lang.Class<? extends AbstractPredicateAbstractionLattice> |
latticeType |
private java.util.ArrayList<AbstractionPredicate> |
registeredPredicates |
Constructor and Description |
---|
Result(java.util.ArrayList<AbstractionPredicate> registeredPredicates,
java.lang.Class<? extends AbstractPredicateAbstractionLattice> latticeType,
java.util.List<AbstractDomainElemChoice> userChoices) |
Modifier and Type | Method and Description |
---|---|
java.util.LinkedHashMap<ProgramVariable,AbstractDomainElement> |
getAbstractDomElemUserChoices() |
java.lang.Class<? extends AbstractPredicateAbstractionLattice> |
getLatticeType() |
java.util.ArrayList<AbstractionPredicate> |
getRegisteredPredicates() |
private java.util.ArrayList<AbstractionPredicate> registeredPredicates
private java.lang.Class<? extends AbstractPredicateAbstractionLattice> latticeType
private java.util.LinkedHashMap<ProgramVariable,AbstractDomainElement> abstractDomElemUserChoices
public Result(java.util.ArrayList<AbstractionPredicate> registeredPredicates, java.lang.Class<? extends AbstractPredicateAbstractionLattice> latticeType, java.util.List<AbstractDomainElemChoice> userChoices)
public java.util.ArrayList<AbstractionPredicate> getRegisteredPredicates()
public java.lang.Class<? extends AbstractPredicateAbstractionLattice> getLatticeType()
AbstractPredicateAbstractionLattice
).public java.util.LinkedHashMap<ProgramVariable,AbstractDomainElement> getAbstractDomElemUserChoices()