org.clafer.ir

Interface IrBoolExpr

All Superinterfaces:

IrExpr, IrIntExpr

All Known Implementing Classes:

IrAcyclic, IrAllDifferent, IrAnd, IrBoolChannel, IrBoolConstant, IrBoolVar, IrCompare, IrFilterString, IrIfOnlyIf, IrIfThenElse, IrImplies, IrIntChannel, IrLone, IrMember, IrNot, IrNotImplies, IrNotMember, IrNotWithin, IrOne, IrOr, IrSelectN, IrSetTest, IrSortSets, IrSortStrings, IrSortStringsChannel, IrSubsetEq, IrUnreachable, IrWithin, IrXor

public interface IrBoolExpr
extends IrIntExpr

An immutable expression that evaluates to a boolean.

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.
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 interface org.clafer.ir.IrIntExpr

accept

Method Detail

getDomain

IrBoolDomain getDomain()

Description copied from interface: IrIntExpr

Domain cannot be empty.

Specified by:

getDomain in interface IrIntExpr

Returns:

the domain of values this expression can take

negate

IrBoolExpr negate()

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

Returns:

negated expression

isNegative

boolean isNegative()

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

Returns:

true if the expression is in negative form, false otherwise

accept

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

Dynamic dispatch on the visitor.

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value