public class ContextsCollector extends Object
Modifier and Type | Field and Description |
---|---|
protected List<SimpleInterval> |
backupList |
List<SimpleInterval> |
bars |
protected int |
nBudget |
protected SimpleInterval |
tmp_si |
Constructor and Description |
---|
ContextsCollector() |
Modifier and Type | Method and Description |
---|---|
void |
clear() |
int |
getBudget() |
boolean |
insert(long L,
long R) |
int |
setBudget(int n) |
public List<SimpleInterval> bars
protected List<SimpleInterval> backupList
protected SimpleInterval tmp_si
protected int nBudget
Copyright © 2021 Soot OSS. All rights reserved.