Package | Description |
---|---|
net.automatalib.incremental.dfa |
Modifier and Type | Method and Description |
---|---|
static Acceptance |
Acceptance.fromBoolean(boolean val)
|
Acceptance |
AbstractIncrementalDFABuilder.getNodeProperty(net.automatalib.incremental.dfa.State node) |
Acceptance |
IncrementalPCDFABuilder.lookup(Word<I> word) |
Acceptance |
IncrementalDFABuilder.lookup(Word<I> word)
Checks the ternary acceptance status for a given word.
|
abstract Acceptance |
AbstractIncrementalDFABuilder.lookup(Word<I> word) |
static Acceptance |
Acceptance.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static Acceptance[] |
Acceptance.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.dfa.State |
AbstractIncrementalDFABuilder.clone(net.automatalib.incremental.dfa.State other,
Acceptance acc)
Clones a state, changing the signature.
|
protected net.automatalib.incremental.dfa.State |
AbstractIncrementalDFABuilder.clone(net.automatalib.incremental.dfa.State other,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.State succ) |
protected void |
AbstractIncrementalDFABuilder.updateInitSignature(Acceptance acc) |
protected net.automatalib.incremental.dfa.State |
AbstractIncrementalDFABuilder.updateSignature(net.automatalib.incremental.dfa.State state,
Acceptance acc)
Updates the signature for a given state.
|
protected net.automatalib.incremental.dfa.State |
AbstractIncrementalDFABuilder.updateSignature(net.automatalib.incremental.dfa.State state,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.State succ) |
Copyright © 2015. All Rights Reserved.