本文整理汇总了Java中kodkod.util.collections.ArrayStack类的典型用法代码示例。如果您正苦于以下问题：Java ArrayStack类的具体用法？Java ArrayStack怎么用？Java ArrayStack使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
ArrayStack类属于kodkod.util.collections包，在下文中一共展示了ArrayStack类的2个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: FreeVariableCollector
import kodkod.util.collections.ArrayStack; //导入依赖的package包/类
/**
* Constructs a new collector using the given structural information. The
* given set is required to contain the syntactically shared subtrees of the
* node for which we are computing caching information.
*/
protected FreeVariableCollector(Set<Node> cached) {
super(cached);
this.varsInScope = new ArrayStack<Variable>();
}
示例2: FreeVariableCollector
import kodkod.util.collections.ArrayStack; //导入依赖的package包/类
/**
* Constructs a new collector using the given structural information.
* The given set is required to contain the syntactically shared subtrees of the
* node for which we are computing caching information.
*/
protected FreeVariableCollector(Set<Node> cached) {
super(cached);
this.varsInScope = new ArrayStack<Variable>();
}