net.sf.tweety.action.grounding

Class VarConstNeqRequirement

java.lang.Object

net.sf.tweety.action.grounding.VarConstNeqRequirement

All Implemented Interfaces:

GroundingRequirement

public class VarConstNeqRequirement
extends 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

Constructor Summary

Constructors

Constructor and Description
VarConstNeqRequirement(net.sf.tweety.logics.commons.syntax.Variable variable, net.sf.tweety.logics.commons.syntax.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(Object obj)
int	hashCode()
boolean	isValid(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.Constant> assignment) This method checks, if an assignment of constants to variables satisfies a given grounding condition.
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

VarConstNeqRequirement

public VarConstNeqRequirement(net.sf.tweety.logics.commons.syntax.Variable variable,
                              net.sf.tweety.logics.commons.syntax.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(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.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(Object obj)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object