public interface ProvaListPtr extends ProvaObject
| Modifier and Type | Method and Description |
|---|---|
ProvaList |
getAssigned() |
ProvaList |
getAssignedWithOffset() |
int |
getOffset() |
ProvaObject |
rebuild(ProvaUnification unification) |
ProvaObject |
rebuildSource(ProvaUnification unification) |
cloneWithBoundVariables, cloneWithVariables, cloneWithVariables, collectVariables, computeIfExpression, computeProvaIfExpression, computeSize, getRecursivelyAssigned, isGround, substituteVariables, toString, unify, updateGroundProvaObject rebuild(ProvaUnification unification)
ProvaList getAssigned()
ProvaList getAssignedWithOffset()
int getOffset()
ProvaObject rebuildSource(ProvaUnification unification)
Copyright © 2019. All Rights Reserved.