|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IProposition
IProposition represents a proposition
Nested Class Summary |
---|
Nested classes/interfaces inherited from interface rwth.i2.ltlrv.afastate.interfaze.IAFAState |
---|
IAFAState.ValidationException, IAFAState.VariableKind |
Field Summary | |
---|---|
static Object |
UNBOUND
Constant meaning "unbound binding". |
Method Summary | |
---|---|
boolean |
equals(Object obj)
Clients should implement this method, since the implementation uses HashSets, which require a proper notion of equality. |
WeakValuesMap<String,Object> |
getBindings()
Returns a copy of all bindings in this proposition. |
int |
hashCode()
Clients should implement this method, since the implementation uses HashSets, which require a proper hash code. |
boolean |
matches(IProposition specializedProposition)
Returns true if this proposition matches the
given specializedProposition. |
IProposition |
specializeBindings(WeakValuesMap<String,Object> bindings)
Specialized return type, for convenience. |
Methods inherited from interface rwth.i2.ltlrv.afastate.interfaze.INullaryAFAState |
---|
getInstance |
Methods inherited from interface rwth.i2.ltlrv.afastate.interfaze.IAFAState |
---|
isFinalStateInAFA, provides, providesNeg, providesPos, requires, transition, unboundVariablesAtCurrentJoinpoint, validate |
Methods inherited from interface rwth.i2.ltlrv.formula.interfaze.IFormula |
---|
negationNormalForm, symbol |
Field Detail |
---|
static final Object UNBOUND
Method Detail |
---|
boolean equals(Object obj)
equals
in class Object
Object.equals(java.lang.Object)
int hashCode()
hashCode
in class Object
Object.hashCode()
boolean matches(IProposition specializedProposition)
true
if this proposition matches the
given specializedProposition. This is the case when
the labels are equal and specializedProposition is
at least as special as this
, meaning it holds
the same formals and at least the formals bound in this
are bound in specializedProposition.
specializedProposition
- a specialized proposition
true
if this proposition matches the
given specializedPropositionWeakValuesMap<String,Object> getBindings()
IProposition specializeBindings(WeakValuesMap<String,Object> bindings)
specializeBindings
in interface IAFAState
bindings
- Set of propositions holding actual bindings.
IAFAState.specializeBindings(WeakValuesMap)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |