Package owl.ltl

Class SyntacticFragments.FormulaClass

java.lang.Object

owl.ltl.SyntacticFragments.FormulaClass

Enclosing class:

SyntacticFragments

public abstract static class SyntacticFragments.FormulaClass
extends Object

Constructor Summary

Constructors

Constructor	Description
FormulaClass()

Method Summary

Modifier and Type	Method	Description
static SyntacticFragments.FormulaClass	classify(Formula formula)
boolean	contains(Formula formula)
boolean	contains(LabelledFormula formula)
static SyntacticFragments.FormulaClass	leastUpperBound(List<SyntacticFragments.FormulaClass> list)
SyntacticFragments.FormulaClass	leastUpperBound(SyntacticFragments.FormulaClass that)
boolean	lessOrEquals(SyntacticFragments.FormulaClass that)
abstract int	level()
static SyntacticFragments.FormulaClass	of(SyntacticFragments.Type type, int level)
abstract SyntacticFragments.Type	type()

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaClass

public FormulaClass()

Method Detail

type

public abstract SyntacticFragments.Type type()

level

public abstract int level()

of

public static SyntacticFragments.FormulaClass of(SyntacticFragments.Type type,
                                                 int level)

classify

public static SyntacticFragments.FormulaClass classify(Formula formula)

leastUpperBound

public static SyntacticFragments.FormulaClass leastUpperBound(List<SyntacticFragments.FormulaClass> list)

contains

public boolean contains(Formula formula)

contains

public boolean contains(LabelledFormula formula)

leastUpperBound

public SyntacticFragments.FormulaClass leastUpperBound(SyntacticFragments.FormulaClass that)

lessOrEquals

public boolean lessOrEquals(SyntacticFragments.FormulaClass that)