Package | Description |
---|---|
de.learnlib.filter.reuse | |
de.learnlib.filter.reuse.tree |
Modifier and Type | Method and Description |
---|---|
ReuseOracle.ReuseOracleBuilder<S,I,O> |
ReuseOracle.ReuseOracleBuilder.withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy) |
Modifier and Type | Method and Description |
---|---|
static BoundedDeque.EvictPolicy |
BoundedDeque.EvictPolicy.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static BoundedDeque.EvictPolicy[] |
BoundedDeque.EvictPolicy.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
ReuseTree.ReuseTreeBuilder<S,I,O> |
ReuseTree.ReuseTreeBuilder.withEvictPolicy(BoundedDeque.EvictPolicy evictPolicy) |
Constructor and Description |
---|
BoundedDeque(int capacity,
BoundedDeque.AccessPolicy accessPolicy,
BoundedDeque.EvictPolicy evictPolicy)
Constructor.
|
ReuseNode(int id,
int alphabetSize,
int maxSystemStates,
BoundedDeque.AccessPolicy accessPolicy,
BoundedDeque.EvictPolicy evictPolicy) |
Copyright © 2018. All rights reserved.