s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Code tidy. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10235 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 11 years ago
parent
4bb807cb8e
commit
4c877974dd
1 changed files with 5 additions and 4 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 9
      prism/src/automata/DA.java

9
prism/src/automata/DA.java
View File

@ -30,16 +30,17 @@
package automata; package automata;
import java.io.PrintStream; import java.io.PrintStream;
import java.util.*;
import java.util.ArrayList;
import java.util.BitSet;
import java.util.List;
import jltl2ba.APElement;
import jltl2ba.APElementIterator;
import prism.PrismException; import prism.PrismException;
import prism.PrismLog; import prism.PrismLog;
import prism.PrismPrintStreamLog; import prism.PrismPrintStreamLog;
import jltl2ba.APElement;
import jltl2ba.APElementIterator;
import acceptance.AcceptanceOmega; import acceptance.AcceptanceOmega;
import acceptance.AcceptanceRabin; import acceptance.AcceptanceRabin;
import acceptance.AcceptanceType;
/** /**
* Class to store a deterministic automata of some acceptance type Acceptance. * Class to store a deterministic automata of some acceptance type Acceptance.

Write Preview
Loading…
Cancel
Save