org.clafer.ir

Class IrBoolVar

java.lang.Object

org.clafer.ir.IrAbstractInt

org.clafer.ir.IrIntVar

org.clafer.ir.IrBoolVar

All Implemented Interfaces:

IrBoolExpr, IrExpr, IrIntExpr, IrVar

Direct Known Subclasses:

IrBoolConstant

public class IrBoolVar
extends IrIntVar
implements IrBoolExpr, IrVar

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(IrBoolExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
<A,B> B	accept(IrIntExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
IrBoolDomain	getDomain() Domain cannot be empty.
boolean	isNegative() Is the expression in negative form.
IrBoolExpr	negate() The negated expression is true if and only if this expression is false.

Methods inherited from class org.clafer.ir.IrIntVar

equals, getName, hashCode, toString

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.clafer.ir.IrVar

getName

Method Detail

getDomain

public IrBoolDomain getDomain()

Description copied from class: IrAbstractInt

Domain cannot be empty.

Specified by:

getDomain in interface IrBoolExpr

Specified by:

getDomain in interface IrIntExpr

Overrides:

getDomain in class IrAbstractInt

Returns:

the domain of values this expression can take

negate

public IrBoolExpr negate()

Description copied from interface: IrBoolExpr

The negated expression is true if and only if this expression is false.

Specified by:

negate in interface IrBoolExpr

Returns:

negated expression

isNegative

public boolean isNegative()

Description copied from interface: IrBoolExpr

Is the expression in negative form. Expressions in negated form have their class names prefixed with "IrNot...", otherwise the expression is not negative.

Specified by:

isNegative in interface IrBoolExpr

Returns:

true if the expression is in negative form, false otherwise

accept

public <A,B> B accept(IrBoolExprVisitor<A,B> visitor,
             A a)

Description copied from interface: IrBoolExpr

Dynamic dispatch on the visitor.

Specified by:

accept in interface IrBoolExpr

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value

accept

public <A,B> B accept(IrIntExprVisitor<A,B> visitor,
             A a)

Description copied from interface: IrIntExpr

Dynamic dispatch on the visitor.

Specified by:

accept in interface IrIntExpr

Overrides:

accept in class IrIntVar

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value