Uses of Interface
rwth.i2.ltlrv.afastate.interfaze.IIfClosure

Packages that use IIfClosure

rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.

Uses of IIfClosure in rwth.i2.ltlrv.afastate.impl

Fields in rwth.i2.ltlrv.afastate.impl with type parameters of type IIfClosure

protected Collection<IIfClosure>

Proposition.ifClosures List of if-closures that have to be satisfied in order to match.

Constructors in rwth.i2.ltlrv.afastate.impl with parameters of type IIfClosure

Proposition(String label, String[] formals, IIfClosure[] ifClosures)
Constructs a new proposition with the given label and free bindings for the given formals.

Constructor parameters in rwth.i2.ltlrv.afastate.impl with type arguments of type IIfClosure

Proposition(String label, WeakValuesMap<String,Object> bindings, String[] provides, Collection<IIfClosure> ifClosures)
Constructs a new proposition with the given label and bindings of formals to actual objects.

Uses of IIfClosure in rwth.i2.ltlrv.management

Methods in rwth.i2.ltlrv.management with parameters of type IIfClosure

IProposition	IFormulaFactory.Proposition(String label, String[] boundFormals, IIfClosure[] ifClosures) Returns a proposition with the given parameters.
IProposition	FormulaFactory.Proposition(String label, String[] formals, IIfClosure[] ifClosures) Returns a proposition with the given parameters.