From 3cb9315065e82ee0733c4011ddf132980c50a5ad Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Fri, 12 Feb 2016 14:19:28 +0000 Subject: [PATCH] =?UTF-8?q?jltl2dstar:=20cleanup=20umlaut=20in=20comments?= =?UTF-8?q?=20for=20B=C3=BCchi=20to=20Unicode?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11195 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/jltl2dstar/DBA2DRA.java | 8 ++++---- prism/src/jltl2dstar/NBA.java | 4 ++-- prism/src/jltl2dstar/NBAAnalysis.java | 2 +- prism/src/jltl2dstar/NBA_State.java | 2 +- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/prism/src/jltl2dstar/DBA2DRA.java b/prism/src/jltl2dstar/DBA2DRA.java index 2d05cff8..e643a828 100644 --- a/prism/src/jltl2dstar/DBA2DRA.java +++ b/prism/src/jltl2dstar/DBA2DRA.java @@ -29,18 +29,18 @@ import jltl2ba.APSet; /** @file * Provides class DBA2DRA, which can convert a - * deterministic B�chi automaton to a deterministic Rabin + * deterministic Büchi automaton to a deterministic Rabin * automaton. */ /** - * Provides conversion from deterministic B�chi to + * Provides conversion from deterministic Büchi to * deterministic Rabin. */ public class DBA2DRA { /** - * Convert a deterministic B�chi automaton - * (a nondeterministic B�chi automaton NBA, where every transition + * Convert a deterministic Büchi automaton + * (a nondeterministic Büchi automaton NBA, where every transition * has at most one target state) to an equivalent deterministic * Rabin automaton. *

diff --git a/prism/src/jltl2dstar/NBA.java b/prism/src/jltl2dstar/NBA.java index 0c7d989a..185780c9 100644 --- a/prism/src/jltl2dstar/NBA.java +++ b/prism/src/jltl2dstar/NBA.java @@ -33,11 +33,11 @@ import jltl2ba.MyBitSet; /** @file - * Provides class NBA to store a nondeterministic B�chi automaton. + * Provides class NBA to store a nondeterministic Büchi automaton. */ /** - * A nondeterministic B�chi automaton. + * A nondeterministic Büchi automaton. * See class DA for description of template parameters. */ diff --git a/prism/src/jltl2dstar/NBAAnalysis.java b/prism/src/jltl2dstar/NBAAnalysis.java index d37a23f9..57954de1 100644 --- a/prism/src/jltl2dstar/NBAAnalysis.java +++ b/prism/src/jltl2dstar/NBAAnalysis.java @@ -21,7 +21,7 @@ package jltl2dstar; /** @file - * Provides class NBAAnalysis for performing analysis on non-deterministic B�chi automata. + * Provides class NBAAnalysis for performing analysis on non-deterministic Büchi automata. */ import java.util.*; diff --git a/prism/src/jltl2dstar/NBA_State.java b/prism/src/jltl2dstar/NBA_State.java index 8d3a52c5..e9b04e76 100644 --- a/prism/src/jltl2dstar/NBA_State.java +++ b/prism/src/jltl2dstar/NBA_State.java @@ -29,7 +29,7 @@ import jltl2ba.MyBitSet.MyBitSetIterator; /** @file - * Provides class NBA_State for storing a state of a nondeterministic B�chi automaton. + * Provides class NBA_State for storing a state of a nondeterministic Büchi automaton. */ /**