public class AbstractDomainElemChoice
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private java.util.Optional<AbstractPredicateAbstractionDomainElement> |
abstrDomElem
The chosen abstract domain element.
|
private ProgramVariable |
progVar
The program variable for which an abstract domain element has been
chosen.
|
Constructor and Description |
---|
AbstractDomainElemChoice(ProgramVariable progVar,
java.util.Optional<AbstractPredicateAbstractionDomainElement> abstrDomElem) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
choiceToString() |
java.util.Optional<AbstractPredicateAbstractionDomainElement> |
getAbstrDomElem() |
ProgramVariable |
getProgVar() |
boolean |
isChoiceMade() |
void |
setAbstrDomElem(AbstractPredicateAbstractionDomainElement abstrDomElem) |
void |
setAbstrDomElem(java.util.Optional<AbstractPredicateAbstractionDomainElement> abstrDomElem) |
void |
setProgVar(ProgramVariable progVar) |
private ProgramVariable progVar
private java.util.Optional<AbstractPredicateAbstractionDomainElement> abstrDomElem
progVar
.public AbstractDomainElemChoice(ProgramVariable progVar, java.util.Optional<AbstractPredicateAbstractionDomainElement> abstrDomElem)
public ProgramVariable getProgVar()
public void setProgVar(ProgramVariable progVar)
public java.util.Optional<AbstractPredicateAbstractionDomainElement> getAbstrDomElem()
public void setAbstrDomElem(AbstractPredicateAbstractionDomainElement abstrDomElem)
public void setAbstrDomElem(java.util.Optional<AbstractPredicateAbstractionDomainElement> abstrDomElem)
public boolean isChoiceMade()
public java.lang.String choiceToString()