public class VarConstNeqRequirement extends Object implements GroundingRequirement
| 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.
|
| 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() |
public VarConstNeqRequirement(net.sf.tweety.logics.commons.syntax.Variable variable,
net.sf.tweety.logics.commons.syntax.Constant constant)
variable - a variable.constant - a constant.public boolean isValid(Map<net.sf.tweety.logics.commons.syntax.Variable,net.sf.tweety.logics.commons.syntax.Constant> assignment)
GroundingRequirementisValid in interface GroundingRequirementassignment - the assignment to be validated.Copyright © 2018. All rights reserved.