Here you can find the source of concatenatedLTL(Collection
private static String concatenatedLTL(Collection<String> ltl)
//package com.java2s; /* Copyright (c) 2006, 2007, 2008 Neil Walkinshaw and Kirill Bogdanov * /*from ww w . j av a 2 s . co m*/ * This file is part of StateChum * * StateChum is free software: you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by * the Free Software Foundation, either version 3 of the License, or * (at your option) any later version. * * StateChum is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with StateChum. If not, see <http://www.gnu.org/licenses/>. */ import java.util.*; public class Main { private static String concatenatedLTL(Collection<String> ltl) { String ltlString = ""; for (String string : ltl) { if (!ltlString.equals("")) ltlString = ltlString.concat(" || " + string); else ltlString = ltlString.concat(string); } return ltlString; } }