public class ProgramVariableCollection extends Object
Modifier and Type | Field and Description |
---|---|
Map<LocationVariable,Term> |
atPres |
Map<LocationVariable,LocationVariable> |
atPreVars |
ProgramVariable |
excVar |
ImmutableList<ProgramVariable> |
paramVars |
ProgramVariable |
resultVar |
ProgramVariable |
selfVar |
Constructor and Description |
---|
ProgramVariableCollection() |
ProgramVariableCollection(ProgramVariable selfVar,
ImmutableList<ProgramVariable> paramVars,
ProgramVariable resultVar,
ProgramVariable excVar,
Map<LocationVariable,LocationVariable> atPreVars,
Map<LocationVariable,Term> atPres) |
public ProgramVariable selfVar
public ImmutableList<ProgramVariable> paramVars
public ProgramVariable resultVar
public ProgramVariable excVar
public Map<LocationVariable,LocationVariable> atPreVars
public Map<LocationVariable,Term> atPres
public ProgramVariableCollection(ProgramVariable selfVar, ImmutableList<ProgramVariable> paramVars, ProgramVariable resultVar, ProgramVariable excVar, Map<LocationVariable,LocationVariable> atPreVars, Map<LocationVariable,Term> atPres)
public ProgramVariableCollection()