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