net.sf.tweety.action.grounding

Class VarConstNeqRequirement

java.lang.Object

net.sf.tweety.action.grounding.VarConstNeqRequirement

All Implemented Interfaces:

GroundingRequirement

public class VarConstNeqRequirement
extends java.lang.Object
implements GroundingRequirement

This class represents a single grounding requirement stating that a variable is not allowed to be substituted by a specific constant.

Author:

Sebastian Homann

Field Summary

Fields

Modifier and Type	Field and Description
private Constant	constant
private Variable	variable

Constructor Summary

Constructors

Constructor and Description
VarConstNeqRequirement(Variable variable, Constant constant) Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isValid(java.util.Map<Variable,Constant> assignment) This method checks, if an assignment of constants to variables satisfies a given grounding condition.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

variable

private Variable variable

constant

private Constant constant

Constructor Detail

VarConstNeqRequirement

public VarConstNeqRequirement(Variable variable,
                              Constant constant)

Creates a new grounding requirement expressing, that the variable given may not be set to the specific constant.

Parameters:

variable - a variable.

constant - a constant.

Method Detail

isValid

public boolean isValid(java.util.Map<Variable,Constant> assignment)

Description copied from interface: GroundingRequirement

This method checks, if an assignment of constants to variables satisfies a given grounding condition.

Specified by:

isValid in interface GroundingRequirement

Parameters:

assignment - the assignment to be validated.

Returns:

true, if the assignment satisfies this requirement.

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object