org.clafer.ir

Class IrSubsetEq

java.lang.Object

org.clafer.ir.IrAbstractBool

org.clafer.ir.IrSubsetEq

All Implemented Interfaces:

IrBoolExpr, IrExpr, IrIntExpr

public class IrSubsetEq
extends IrAbstractBool
implements IrBoolExpr

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrSubsetEq(IrSetExpr subset, IrSetExpr superset, IrBoolDomain domain)

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.
boolean	equals(Object obj)
IrSetExpr	getSubset()
IrSetExpr	getSuperset()
int	hashCode()
boolean	isNegative() Is the expression in negative form.
IrBoolExpr	negate() The negated expression is true if and only if this expression is false.
String	toString()

Methods inherited from class org.clafer.ir.IrAbstractBool

getDomain

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.clafer.ir.IrBoolExpr

getDomain

Constructor Detail

IrSubsetEq

public IrSubsetEq(IrSetExpr subset,
          IrSetExpr superset,
          IrBoolDomain domain)

Method Detail

getSubset

public IrSetExpr getSubset()

getSuperset

public IrSetExpr getSuperset()

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

Type Parameters:

A - the parameter type

B - the return type

Parameters:

visitor - the visitor

a - the parameter

Returns:

the return value

equals

public boolean equals(Object obj)

Overrides:

equals in class IrAbstractBool

hashCode

public int hashCode()

Overrides:

hashCode in class IrAbstractBool

toString

public String toString()

Overrides:

toString in class Object