opendial.domains.rules.conditions

Class NegatedCondition

java.lang.Object

opendial.domains.rules.conditions.NegatedCondition

All Implemented Interfaces:

Condition

public final class NegatedCondition
extends java.lang.Object
implements Condition

Negated condition, which is satisfied when the included condition is not.

Constructor Summary

Constructors

Constructor and Description
NegatedCondition(Condition initCondition) Creates a new negated condition with the condition provided as argument

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o) Returns true if the current instance and the object are identical, and false otherwise
RuleGrounding	getGroundings(Assignment input) Returns the set of possible groundings derived from the condition, based on the given assignment.
Condition	getInitCondition() Returns the condition to negate
java.util.Collection<Template>	getInputVariables() Returns the input variables for the condition (which are the same as the ones for the condition to negate)
java.util.Set<java.lang.String>	getSlots() Returns the list of slots in the condition
int	hashCode() Returns the hashcode for the condition
boolean	isSatisfiedBy(Assignment input) Returns true if the condition to negate is *not* satisfied, and false if it is satisfied
java.lang.String	toString() Returns the string representation of the condition

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

NegatedCondition

public NegatedCondition(Condition initCondition)

Creates a new negated condition with the condition provided as argument

Parameters:

initCondition - the condition to negate

Method Detail

getInputVariables

public java.util.Collection<Template> getInputVariables()

Returns the input variables for the condition (which are the same as the ones for the condition to negate)

Specified by:

getInputVariables in interface Condition

Returns:

the input variables

getGroundings

public RuleGrounding getGroundings(Assignment input)

Description copied from interface: Condition

Returns the set of possible groundings derived from the condition, based on the given assignment.

Specified by:

getGroundings in interface Condition

Parameters:

input - the assignment from which to calculate the groundings

Returns:

the groundings

isSatisfiedBy

public boolean isSatisfiedBy(Assignment input)

Returns true if the condition to negate is *not* satisfied, and false if it is satisfied

Specified by:

isSatisfiedBy in interface Condition

Parameters:

input - the input assignment to verify

Returns:

true if the included condition is false, and vice versa

getInitCondition

public Condition getInitCondition()

Returns the condition to negate

Returns:

the condition to negate

getSlots

public java.util.Set<java.lang.String> getSlots()

Returns the list of slots in the condition

Specified by:

getSlots in interface Condition

Returns:

the list of slots

hashCode

public int hashCode()

Returns the hashcode for the condition

Overrides:

hashCode in class java.lang.Object

Returns:

the hashcode

toString

public java.lang.String toString()

Returns the string representation of the condition

Overrides:

toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)

Returns true if the current instance and the object are identical, and false otherwise

Overrides:

equals in class java.lang.Object

Parameters:

o - the object to compare

Returns:

true if equal, false otherwise