org.clafer.ast

Class AstConstraint

java.lang.Object

org.clafer.ast.AstConstraint

public class AstConstraint
extends Object

An immutable constraint. Can be either hard or soft.

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
AstConstraint(AstClafer context, AstBoolExpr expr)
AstConstraint(AstClafer context, AstBoolExpr expr, boolean soft)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	equals(Object obj)
AstClafer	getContext()
AstBoolExpr	getExpr()
int	hashCode()
boolean	isHard()
boolean	isSoft()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

AstConstraint

public AstConstraint(AstClafer context,
             AstBoolExpr expr)

AstConstraint

public AstConstraint(AstClafer context,
             AstBoolExpr expr,
             boolean soft)

Method Detail

getContext

public AstClafer getContext()

isHard

public boolean isHard()

isSoft

public boolean isSoft()

getExpr

public AstBoolExpr getExpr()

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