Package utils

Class TlsfUtils

java.lang.Object

utils.TlsfUtils

public class TlsfUtils
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static String	TLSF_EXAMPLE_SPEC

Constructor Summary

Constructors

Constructor	Description
TlsfUtils()

Method Summary

Modifier and Type	Method	Description
static String	adaptTLSFSpec(owl.ltl.tlsf.Tlsf spec)
static owl.ltl.tlsf.Tlsf	change_assert(owl.ltl.tlsf.Tlsf spec, List<owl.ltl.Formula> new_asserts)
static owl.ltl.tlsf.Tlsf	change_assume(owl.ltl.tlsf.Tlsf spec, List<owl.ltl.Formula> new_assumes)
static owl.ltl.tlsf.Tlsf	change_assume(owl.ltl.tlsf.Tlsf spec, owl.ltl.Formula new_assumption)
static owl.ltl.tlsf.Tlsf	change_guarantees(owl.ltl.tlsf.Tlsf spec, List<owl.ltl.Formula> new_guarantees)
static owl.ltl.tlsf.Tlsf	change_guarantees(owl.ltl.tlsf.Tlsf spec, owl.ltl.Formula new_guarantee)
static owl.ltl.tlsf.Tlsf	change_initially(owl.ltl.tlsf.Tlsf spec, owl.ltl.Formula new_initially)
static owl.ltl.tlsf.Tlsf	change_preset(owl.ltl.tlsf.Tlsf spec, owl.ltl.Formula new_preset)
static owl.ltl.tlsf.Tlsf	change_require(owl.ltl.tlsf.Tlsf spec, owl.ltl.Formula new_require)
static boolean	equals(owl.ltl.tlsf.Tlsf tlsf1, owl.ltl.tlsf.Tlsf tlsf2)
static owl.ltl.tlsf.Tlsf	fromSpec(owl.ltl.tlsf.Tlsf spec)
static owl.ltl.tlsf.Tlsf	fromSpectra(owl.ltl.spectra.Spectra spec)
static owl.ltl.Formula	getFormulaWOGFpattern(owl.ltl.Formula source)
static boolean	hasGFPattern(owl.ltl.Formula source)
static String	tlsf2spectra(owl.ltl.tlsf.Tlsf tlsf)
static owl.ltl.tlsf.Tlsf	toBasicTLSF(File spec)
static owl.ltl.tlsf.Tlsf	toBasicTLSF(String spec)
static String	toTLSF(owl.ltl.tlsf.Tlsf spec)

Methods inherited from class java.lang.Object

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

Field Detail

TLSF_EXAMPLE_SPEC

public static String TLSF_EXAMPLE_SPEC

Constructor Detail

TlsfUtils

public TlsfUtils()

Method Detail

toBasicTLSF

public static owl.ltl.tlsf.Tlsf toBasicTLSF(String spec)
                                     throws IOException,
                                            InterruptedException

Throws:

IOException

InterruptedException

toBasicTLSF

public static owl.ltl.tlsf.Tlsf toBasicTLSF(File spec)
                                     throws IOException,
                                            InterruptedException

Throws:

IOException

InterruptedException

toTLSF

public static String toTLSF(owl.ltl.tlsf.Tlsf spec)

fromSpec

public static owl.ltl.tlsf.Tlsf fromSpec(owl.ltl.tlsf.Tlsf spec)

change_initially

public static owl.ltl.tlsf.Tlsf change_initially(owl.ltl.tlsf.Tlsf spec,
                                                 owl.ltl.Formula new_initially)

change_preset

public static owl.ltl.tlsf.Tlsf change_preset(owl.ltl.tlsf.Tlsf spec,
                                              owl.ltl.Formula new_preset)

change_require

public static owl.ltl.tlsf.Tlsf change_require(owl.ltl.tlsf.Tlsf spec,
                                               owl.ltl.Formula new_require)

change_assert

public static owl.ltl.tlsf.Tlsf change_assert(owl.ltl.tlsf.Tlsf spec,
                                              List<owl.ltl.Formula> new_asserts)

change_assume

public static owl.ltl.tlsf.Tlsf change_assume(owl.ltl.tlsf.Tlsf spec,
                                              owl.ltl.Formula new_assumption)

change_guarantees

public static owl.ltl.tlsf.Tlsf change_guarantees(owl.ltl.tlsf.Tlsf spec,
                                                  owl.ltl.Formula new_guarantee)

change_guarantees

public static owl.ltl.tlsf.Tlsf change_guarantees(owl.ltl.tlsf.Tlsf spec,
                                                  List<owl.ltl.Formula> new_guarantees)

change_assume

public static owl.ltl.tlsf.Tlsf change_assume(owl.ltl.tlsf.Tlsf spec,
                                              List<owl.ltl.Formula> new_assumes)

equals

public static boolean equals(owl.ltl.tlsf.Tlsf tlsf1,
                             owl.ltl.tlsf.Tlsf tlsf2)

adaptTLSFSpec

public static String adaptTLSFSpec(owl.ltl.tlsf.Tlsf spec)

fromSpectra

public static owl.ltl.tlsf.Tlsf fromSpectra(owl.ltl.spectra.Spectra spec)

tlsf2spectra

public static String tlsf2spectra(owl.ltl.tlsf.Tlsf tlsf)

hasGFPattern

public static boolean hasGFPattern(owl.ltl.Formula source)

getFormulaWOGFpattern

public static owl.ltl.Formula getFormulaWOGFpattern(owl.ltl.Formula source)