From 2228c6adda789f6b33d39609e7583a0fee9414bd Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 8 Jul 2015 16:56:20 +0000
Subject: [PATCH] TODO: HOAF2DA check for completeness

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10254 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/automata/HOAF2DA.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prism/src/automata/HOAF2DA.java b/prism/src/automata/HOAF2DA.java
index 9020f50d..64262e39 100644
--- a/prism/src/automata/HOAF2DA.java
+++ b/prism/src/automata/HOAF2DA.java
@@ -541,6 +541,7 @@ public class HOAF2DA implements HOAConsumer {
 	@Override
 	public void notifyEndOfState(int stateId) throws HOAConsumerException
 	{
+		// TODO: Check for completeness
 		implicitEdgeHelper.endOfState();
 	}