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

Packages that use IProposition

rwth.i2.ltlrv.afastate.impl	Implementing classes of AFA states.
rwth.i2.ltlrv.afastate.interfaze	Common interfaces for all AFA states.
rwth.i2.ltlrv.data	Holds some special data structures.
rwth.i2.ltlrv.management	Holds classes for configuration management and formula creation.

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

Classes in rwth.i2.ltlrv.afastate.impl that implement IProposition

class

Proposition Proposition - Implements a proposition.

Methods in rwth.i2.ltlrv.afastate.impl that return IProposition

IProposition

Proposition.specializeBindings(WeakValuesMap<String,Object> specializedBindings)

Methods in rwth.i2.ltlrv.afastate.impl with parameters of type IProposition

boolean

Proposition.matches(IProposition specializedProposition) Returns true if this proposition matches the given specializedProposition.

Uses of IProposition in rwth.i2.ltlrv.afastate.interfaze

Methods in rwth.i2.ltlrv.afastate.interfaze that return IProposition

IProposition

IProposition.specializeBindings(WeakValuesMap<String,Object> bindings) Specialized return type, for convenience.

Methods in rwth.i2.ltlrv.afastate.interfaze with parameters of type IProposition

boolean

IProposition.matches(IProposition specializedProposition) Returns true if this proposition matches the given specializedProposition.

Uses of IProposition in rwth.i2.ltlrv.data

Methods in rwth.i2.ltlrv.data that return IProposition

IProposition

PropositionSet.getEqual(IProposition proposition) Returns the unique proposition equal to proposition which is contained in this set or null if there is not such proposition.

Methods in rwth.i2.ltlrv.data with parameters of type IProposition

boolean	PropositionSet.containsMatchFor(IProposition prop) Returns true if this set contains a proposition which is matched by the given proposition.
IProposition	PropositionSet.getEqual(IProposition proposition) Returns the unique proposition equal to proposition which is contained in this set or null if there is not such proposition.

Constructor parameters in rwth.i2.ltlrv.data with type arguments of type IProposition

PropositionSet(Collection<IProposition> propositions)
Constructs a new set based on the collection of propositions given as input.

Uses of IProposition in rwth.i2.ltlrv.management

Methods in rwth.i2.ltlrv.management that return IProposition

IProposition	IFormulaFactory.Proposition(String label, String... boundFormals) Returns a proposition with the given parameters.
IProposition	FormulaFactory.Proposition(String label, String... formals) Returns a proposition with the given parameters.
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.
IProposition	IFormulaFactory.Proposition(String label, WeakValuesMap<String,Object> bindings) Deprecated.
IProposition	FormulaFactory.Proposition(String label, WeakValuesMap<String,Object> bindings) Deprecated.