Uses of Class net.ssehub.easy.varModel.cstEvaluation.ContextStack.StackFrame (EASy-Producer Documentation API)

Packages that use ContextStack.StackFrame
Package Description

net.ssehub.easy.varModel.cstEvaluation
Implements the evaluation of constraint syntax trees.

Uses of ContextStack.StackFrame in net.ssehub.easy.varModel.cstEvaluation

Fields in net.ssehub.easy.varModel.cstEvaluation with type parameters of type ContextStack.StackFrame
Modifier and Type	Field	Description
`private static Pool<ContextStack.StackFrame>`	ContextStack.`POOL`
`private java.util.Stack<ContextStack.StackFrame>`	ContextStack.`stack`

Methods in net.ssehub.easy.varModel.cstEvaluation with parameters of type ContextStack.StackFrame
Modifier and Type	Method	Description
`private void`	ContextStack.`ensureCapacity(IDecisionVariable var, ContextStack.StackFrame frame)`	Ensures the capacity of a container variable.