-
Nested Class Summary
Nested Classes
-
Method Summary
Methods inherited from interface dev.civl.mc.model.IF.contract.FunctionBehavior
addAssignsMemoryUnit, addDependsEvent, addPostcondition, addPrecondition, addReadsMemoryUnit, assignsMemoryUnits, assignsNothing, clearDependsEvents, dependsAnyact, dependsEvents, dependsNoact, ensurances, getWaitsforList, numAssignsMemoryUnits, numDependsEvents, numEnsurances, numReadsMemoryUnits, numRequirements, print, readsMemoryUnits, readsNothing, requirements, setAssingsNothing, setDependsAnyact, setDependsNoact, setReadsNothing, setWaitsforList
-
Method Details
-
-
-
setAgreedVariables
void setAgreedVariables(Variable[] jointVariables)
-
-
-
-