1 package org.simantics.scl.runtime.chr;
3 import java.util.Arrays;
5 class PriorityContainer {
6 private static final boolean CLEANUP_ENABLED = true;
9 Fact[] facts = new Fact[4];
12 public PriorityContainer(int priority) {
13 this.priority = priority;
16 public void push(Fact item) {
17 if(size == facts.length)
22 private void increaseCapacity() {
26 for(int i=0;i<size;++i) {
34 // Resize if necessary
35 if(size >= facts.length*3/4)
36 facts = Arrays.copyOf(facts, size*2);