Package FAtiMA.Core.conditions

Class PropertyNotEqual

java.lang.Object

FAtiMA.Core.conditions.Condition

FAtiMA.Core.conditions.PropertyCondition

FAtiMA.Core.conditions.PropertyNotEqual

All Implemented Interfaces:

IGroundable, java.io.Serializable, java.lang.Cloneable

public class PropertyNotEqual
extends PropertyCondition

Test that compares if a property is different from a given value

Author:

Joao Dias

See Also:

Serialized Form

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	PropertyNotEqual(PropertyNotEqual pNE)
	PropertyNotEqual(Name name, Name value, Symbol ToM)	Creates a new PropertyTest of Type NotEqual

Method Summary

Modifier and Type	Method	Description
boolean	CheckCondition(AgentModel am)	Checks if the Property Condition is verified in the agent's Memory (KB + AM)
java.lang.Object	clone()	Clones this PropertyTest, returning an equal copy.
java.util.ArrayList<SubstitutionSet>	GetValidBindings(AgentModel am)	This method finds all the possible sets of Substitutions that applied to the condition will make it valid (true) according to the current Memory
java.util.ArrayList<SubstitutionSet>	GetValidInequalities(AgentModel am)	This method finds all the possible sets of Inequalities that that result from the condition.
protected java.util.ArrayList<Substitution>	GetValueBindings()
void	Print()	Prints the PropertyTest to the Standard Output
java.lang.String	toString()	Converts the PropertyTest to a String

Methods inherited from class FAtiMA.Core.conditions.PropertyCondition

GetBindings, GetValue, GetValueBindings, isGrounded, MakeGround, MakeGround, ParseProperty, ReplaceUnboundVariables

Methods inherited from class FAtiMA.Core.conditions.Condition

CheckActivation, getName, getToM, hasChangedVerifiability, isVerifiable, setName, setToM, setVerifiable

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PropertyNotEqual

public PropertyNotEqual(Name name,
                        Name value,
                        Symbol ToM)

Creates a new PropertyTest of Type NotEqual

Parameters:

name - - the PropertyTest's name

value - - the PropertyTest's value

PropertyNotEqual

protected PropertyNotEqual(PropertyNotEqual pNE)

Method Detail

clone

public java.lang.Object clone()

Clones this PropertyTest, returning an equal copy. If this clone is changed afterwards, the original object remains the same.

Overrides:

clone in class PropertyCondition

Returns:

The PropertyTest's copy.

CheckCondition

public boolean CheckCondition(AgentModel am)

Checks if the Property Condition is verified in the agent's Memory (KB + AM)

Overrides:

CheckCondition in class PropertyCondition

Returns:

true if the condition is verified, false otherwise

See Also:

KnowledgeBase

GetValidBindings

public java.util.ArrayList<SubstitutionSet> GetValidBindings(AgentModel am)

This method finds all the possible sets of Substitutions that applied to the condition will make it valid (true) according to the current Memory

Overrides:

GetValidBindings in class Condition

Returns:

A list with all SubstitutionsSets that make the condition valid

See Also:

KnowledgeBase

GetValidInequalities

public java.util.ArrayList<SubstitutionSet> GetValidInequalities(AgentModel am)

This method finds all the possible sets of Inequalities that that result from the condition. In order for the method to work properly, at least one part of the NotEqual Condition must be grounded. i.e, we cannot determine inequalities between [X] != [Y]

Returns:

A list with all SubstitutionSets (with inequalities inside) that if they are verified, the NotEqualCondition is also verified

GetValueBindings

protected java.util.ArrayList<Substitution> GetValueBindings()

Print

public void Print()

Prints the PropertyTest to the Standard Output

Overrides:

Print in class PropertyCondition

toString

public java.lang.String toString()

Converts the PropertyTest to a String

Overrides:

toString in class java.lang.Object

Returns:

the Converted String