IGroundable (FAtiMA (Core) 201307301724.0${version.suffix})

All Known Subinterfaces:

IPlanningOperator

All Known Implementing Classes:

ActivePursuitGoal, ComposedName, Condition, Effect, EmotionCondition, Goal, Inequality, InterestGoal, MoodCondition, Name, NewEventCondition, PastEventCondition, PredicateCondition, PropertyCondition, PropertyEqual, PropertyGreater, PropertyGreaterEqual, PropertyLesser, PropertyLesserEqual, PropertyNotEqual, RecentEventCondition, Step, Symbol
```
public interface IGroundable
```
Author:

Joao Dias Interface that specifies methods appliable to classes that can be grounded, i.e. have WellFormed Names

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`boolean`	`isGrounded()`	Indicates if the name is grounded (no unbound variables in it's WFN) Example: Stronger(Luke,John) is grounded while Stronger(John,[X]) is not.
`void`	`MakeGround(Substitution subst)`	Applies a set of substitutions to the object, grounding it.
`void`	`MakeGround(java.util.ArrayList<Substitution> bindings)`	Applies a set of substitutions to the object, grounding it.
`void`	`ReplaceUnboundVariables(int variableID)`	Replaces all unbound variables in the object by applying a numeric identifier to each one.

- Method Detail
  - ReplaceUnboundVariables
```
void ReplaceUnboundVariables(int variableID)
```
    Replaces all unbound variables in the object by applying a numeric identifier to each one. For example, the variable [x] becomes [x4] if the received ID is 4. Attention, this method modifies the original object.
    
    Parameters:
    
    variableID - - the identifier to be applied
  - MakeGround
```
void MakeGround(java.util.ArrayList<Substitution> bindings)
```
    Applies a set of substitutions to the object, grounding it. Example: Applying the substitution "[X]/John" in the name "Weak([X])" returns "Weak(John)". Attention, this method modifies the original object.
    
    Parameters:
    
    bindings - - A list of substitutions of the type "[Variable]/value"
    
    See Also:
    
    Substitution
  - MakeGround
```
void MakeGround(Substitution subst)
```
    Applies a set of substitutions to the object, grounding it. Example: Applying the substitution "[X]/John" in the name "Weak([X])" returns "Weak(John)". Attention, this method modifies the original object.
    
    Parameters:
    
    subst - - a substitution of the type "[Variable]/value"
    
    See Also:
    
    Substitution
  - isGrounded
```
boolean isGrounded()
```
    Indicates if the name is grounded (no unbound variables in it's WFN) Example: Stronger(Luke,John) is grounded while Stronger(John,[X]) is not.
    
    Returns:
    
    true if the name is grounded, false otherwise