|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectrwth.i2.ltlrv.management.FormulaFactory
public class FormulaFactory
FormulaFactory - Default implemetation of
IFormulaFactory
.
Returns instances from the default implementing classes.
Field Summary | |
---|---|
private static IFF |
ff
The unique instance of IFF |
private static ITT |
tt
The unique instance of ITT |
Constructor Summary | |
---|---|
FormulaFactory()
|
Method Summary | |
---|---|
IAnd |
And(IFormula formula1,
IFormula formula2)
Generates an conjunct. |
IEquivalent |
Eq(IFormula formula1,
IFormula formula2)
Generates an equivalence relation. |
IFinally |
F(IFormula formula)
Generates a Finally formula. |
IFF |
FF()
Returns the negative positive sink state. |
IGlobally |
G(IFormula formula)
Generates a Globally formula. |
IImplies |
Impl(IFormula formula1,
IFormula formula2)
Generates an implication. |
INot |
Not(IFormula formula)
Generates a negation. |
IOr |
Or(IFormula formula1,
IFormula formula2)
Generates an disjunct. |
IProposition |
Proposition(String label,
String... formals)
Returns a proposition with the given parameters. |
IProposition |
Proposition(String label,
String[] formals,
IIfClosure[] ifClosures)
Returns a proposition with the given parameters. |
IProposition |
Proposition(String label,
WeakValuesMap<String,Object> bindings)
Deprecated. |
IRelease |
Release(IFormula formula1,
IFormula formula2)
Generates a Release formula. |
ITT |
TT()
Returns the unique positive sink state. |
IUntil |
Until(IFormula formula1,
IFormula formula2)
Generates an Until formula. |
INext |
X(IFormula formula)
Generates a Next formula. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private static final ITT tt
private static final IFF ff
Constructor Detail |
---|
public FormulaFactory()
Method Detail |
---|
public IAnd And(IFormula formula1, IFormula formula2)
And
in interface IFormulaFactory
formula1
- left subformulaformula2
- right subformula
formula1 /\ formula2
public IEquivalent Eq(IFormula formula1, IFormula formula2)
Eq
in interface IFormulaFactory
formula1
- left subformulaformula2
- right subformula
formula1 <-> formula2
public IFinally F(IFormula formula)
F
in interface IFormulaFactory
formula
- the subformula
F subformula
public IGlobally G(IFormula formula)
G
in interface IFormulaFactory
formula
- the subformula
G subformula
public IImplies Impl(IFormula formula1, IFormula formula2)
Impl
in interface IFormulaFactory
formula1
- left subformulaformula2
- right subformula
formula1 -> formula2
public INext X(IFormula formula)
X
in interface IFormulaFactory
formula
- the subformula
X subformula
public INot Not(IFormula formula)
Not
in interface IFormulaFactory
formula
- the subformula
! subformula
public IOr Or(IFormula formula1, IFormula formula2)
Or
in interface IFormulaFactory
formula1
- left subformulaformula2
- right subformula
formula1 \/ formula2
public IProposition Proposition(String label, String[] formals, IIfClosure[] ifClosures)
Proposition
in interface IFormulaFactory
label
- a label; this should be distinct for semantically distinct propositionsformals
- the formals which will be bound by this pointcut at runtimeifClosures
- the if-closures which this pointcut has to satisfy
(@see IIfClosure)
boundFormals
initialized to
IProposition.UNBOUND
public IProposition Proposition(String label, String... formals)
Proposition
in interface IFormulaFactory
label
- a label; this should be distinct for semantically distinct propositionsformals
- the formals which will be bound by this pointcut at runtime
boundFormals
initialized to
IProposition.UNBOUND
@Deprecated public IProposition Proposition(String label, WeakValuesMap<String,Object> bindings)
Proposition
in interface IFormulaFactory
label
- a label; this should be distinct for semantically distinct propositionsbindings
- a map of current bindings
public IRelease Release(IFormula formula1, IFormula formula2)
Release
in interface IFormulaFactory
formula1
- left subformulaformula2
- right subformula
formula1 R formula2
public IUntil Until(IFormula formula1, IFormula formula2)
Until
in interface IFormulaFactory
formula1
- left subformulaformula2
- right subformula
formula1 U formula2
public ITT TT()
TT
in interface IFormulaFactory
TT
public IFF FF()
FF
in interface IFormulaFactory
TT
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |