Package utils

Class SolverUtils

java.lang.Object

utils.SolverUtils

public class SolverUtils
extends Object

Constructor Summary

Constructors

Constructor	Description
SolverUtils()

Method Summary

Modifier and Type	Method	Description
static List<String>	genAlphabet(int n)
static String	toLambConvSyntax(String ltlFormula)
static String	toSolverSyntax(String f)
static String	toSolverSyntax(owl.ltl.Formula f)
static String	toSolverSyntax(owl.ltl.LabelledFormula f)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SolverUtils

public SolverUtils()

Method Detail

toSolverSyntax

public static String toSolverSyntax(owl.ltl.Formula f)

toSolverSyntax

public static String toSolverSyntax(String f)

toLambConvSyntax

public static String toLambConvSyntax(String ltlFormula)

genAlphabet

public static List<String> genAlphabet(int n)

toSolverSyntax

public static String toSolverSyntax(owl.ltl.LabelledFormula f)