Package | Description |
---|---|
net.automatalib.incremental.dfa | |
net.automatalib.incremental.dfa.dag | |
net.automatalib.incremental.dfa.tree |
Modifier and Type | Method and Description |
---|---|
static Acceptance |
Acceptance.fromBoolean(boolean val)
|
Acceptance |
IncrementalDFABuilder.GraphView.getAcceptance(N node) |
Acceptance |
IncrementalDFABuilder.TransitionSystemView.getAcceptance(S state) |
Acceptance |
AbstractIncrementalDFABuilder.AbstractTransitionSystemView.getStateProperty(S state) |
Acceptance |
IncrementalDFABuilder.lookup(Word<? extends I> inputWord)
Looks up the tri-state acceptance value for a given 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 |
---|---|
Acceptance |
AbstractIncrementalDFADAGBuilder.GraphView.getAcceptance(net.automatalib.incremental.dfa.dag.State node) |
Acceptance |
AbstractIncrementalDFADAGBuilder.TransitionSystemView.getAcceptance(net.automatalib.incremental.dfa.dag.State state) |
Acceptance |
IncrementalPCDFADAGBuilder.lookup(Word<? extends I> word) |
Acceptance |
IncrementalDFADAGBuilder.lookup(Word<? extends I> word)
Checks the ternary acceptance status for a given word.
|
Modifier and Type | Method and Description |
---|---|
protected net.automatalib.incremental.dfa.dag.State |
AbstractIncrementalDFADAGBuilder.clone(net.automatalib.incremental.dfa.dag.State other,
Acceptance acc)
Clones a state, changing the signature.
|
protected net.automatalib.incremental.dfa.dag.State |
AbstractIncrementalDFADAGBuilder.clone(net.automatalib.incremental.dfa.dag.State other,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected net.automatalib.incremental.dfa.dag.State |
AbstractIncrementalDFADAGBuilder.unhide(net.automatalib.incremental.dfa.dag.State state,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected void |
AbstractIncrementalDFADAGBuilder.updateInitSignature(Acceptance acc) |
protected void |
AbstractIncrementalDFADAGBuilder.updateInitSignature(Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
protected net.automatalib.incremental.dfa.dag.State |
AbstractIncrementalDFADAGBuilder.updateSignature(net.automatalib.incremental.dfa.dag.State state,
Acceptance acc)
Updates the signature for a given state.
|
protected net.automatalib.incremental.dfa.dag.State |
AbstractIncrementalDFADAGBuilder.updateSignature(net.automatalib.incremental.dfa.dag.State state,
Acceptance acc,
int idx,
net.automatalib.incremental.dfa.dag.State succ) |
Modifier and Type | Method and Description |
---|---|
Acceptance |
Node.getAcceptance()
Retrieves the acceptance value of this node.
|
Acceptance |
Edge.getAcceptance() |
Acceptance |
IncrementalDFATreeBuilder.GraphView.getAcceptance(Node<I> node) |
Acceptance |
IncrementalDFATreeBuilder.TransitionSystemView.getAcceptance(Node<I> state) |
Acceptance |
IncrementalPCDFATreeBuilder.lookup(Word<? extends I> inputWord) |
Acceptance |
IncrementalDFATreeBuilder.lookup(Word<? extends I> inputWord) |
Modifier and Type | Method and Description |
---|---|
void |
Node.setAcceptance(Acceptance acceptance)
Sets the acceptance value for this node.
|
Constructor and Description |
---|
Node(Acceptance acceptance)
Constructor.
|
Copyright © 2015. All rights reserved.