Package | Description |
---|---|
net.automatalib.automata.fsa | |
net.automatalib.automata.fsa.abstractimpl | |
net.automatalib.automata.fsa.impl | |
net.automatalib.automata.fsa.impl.compact |
Modifier and Type | Interface and Description |
---|---|
interface |
MutableDFA<S,I> |
interface |
MutableNFA<S,I> |
Modifier and Type | Class and Description |
---|---|
class |
AbstractMutableDFA<S,I> |
class |
AbstractMutableFSA<S,I> |
class |
AbstractMutableNFA<S,I> |
Modifier and Type | Method and Description |
---|---|
static <S,I> S |
AbstractMutableFSA.addInitialState(MutableFSA<S,I> $this) |
static <S,I> S |
AbstractMutableFSA.addInitialState(MutableFSA<S,I> $this,
boolean accepting) |
static <S,I> S |
AbstractMutableFSA.addInitialState(MutableFSA<S,I> $this,
Boolean property) |
static <S,I> S |
AbstractMutableFSA.addState(MutableFSA<S,I> $this) |
static <S,I> S |
AbstractMutableFSA.addState(MutableFSA<S,I> $this,
Boolean property) |
static <S,I> S |
AbstractMutableFSA.copyTransition(MutableFSA<S,I> $this,
S trans,
S succ) |
static <S,I> S |
AbstractMutableFSA.createTransition(MutableFSA<S,I> $this,
S successor,
Void properties) |
static <S,I> void |
AbstractMutableFSA.flipAcceptance(MutableFSA<S,I> $this) |
static <S,I> void |
AbstractMutableFSA.setStateProperty(MutableFSA<S,I> $this,
S state,
Boolean property) |
static <S,I> void |
AbstractMutableFSA.setTransitionProperty(MutableFSA<S,I> $this,
S transition,
Void property) |
Modifier and Type | Class and Description |
---|---|
class |
FastDFA<I> |
class |
FastNFA<I> |
Modifier and Type | Class and Description |
---|---|
class |
CompactDFA<I> |
Copyright © 2015. All Rights Reserved.