Package utils

Class FormulaUtils

java.lang.Object

utils.FormulaUtils

public class FormulaUtils
extends Object

Constructor Summary

Constructors

Constructor	Description
FormulaUtils()

Method Summary

Modifier and Type	Method	Description
static owl.ltl.Formula	combineSubformula(owl.ltl.Formula f0, owl.ltl.Formula f1)
static int	compare(owl.ltl.Formula f0, owl.ltl.Formula f1)
static int	formulaSize(owl.ltl.Formula f)
static int	numOfTemporalOperators(owl.ltl.Formula formula)
static owl.ltl.Formula	replaceSubformula(owl.ltl.Formula f0, owl.ltl.Formula f1)
static List<owl.ltl.Formula>	splitConjunction(owl.ltl.Formula f)
static List<owl.ltl.LabelledFormula>	splitConjunction(owl.ltl.LabelledFormula f)
static List<owl.ltl.Formula>	splitConjunctions(List<owl.ltl.Formula> formulas)
static Set<owl.ltl.Formula>	subformulas(owl.ltl.Formula f)
static List<owl.ltl.LabelledFormula>	subformulas(owl.ltl.LabelledFormula f)

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaUtils

public FormulaUtils()

Method Detail

subformulas

public static List<owl.ltl.LabelledFormula> subformulas(owl.ltl.LabelledFormula f)

subformulas

public static Set<owl.ltl.Formula> subformulas(owl.ltl.Formula f)

compare

public static int compare(owl.ltl.Formula f0,
                          owl.ltl.Formula f1)

formulaSize

public static int formulaSize(owl.ltl.Formula f)

splitConjunction

public static List<owl.ltl.LabelledFormula> splitConjunction(owl.ltl.LabelledFormula f)

splitConjunction

public static List<owl.ltl.Formula> splitConjunction(owl.ltl.Formula f)

splitConjunctions

public static List<owl.ltl.Formula> splitConjunctions(List<owl.ltl.Formula> formulas)

replaceSubformula

public static owl.ltl.Formula replaceSubformula(owl.ltl.Formula f0,
                                                owl.ltl.Formula f1)

combineSubformula

public static owl.ltl.Formula combineSubformula(owl.ltl.Formula f0,
                                                owl.ltl.Formula f1)

numOfTemporalOperators

public static int numOfTemporalOperators(owl.ltl.Formula formula)