org.clafer.ir

Class IrSetTernary

java.lang.Object

org.clafer.ir.IrAbstractSet

org.clafer.ir.IrSetTernary

All Implemented Interfaces:

IrExpr, IrSetExpr

public class IrSetTernary
extends IrAbstractSet

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrSetTernary(IrBoolExpr antecedent, IrSetExpr consequent, IrSetExpr alternative, IrDomain env, IrDomain ker, IrDomain card)

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(IrSetExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
boolean	equals(Object obj)
IrSetExpr	getAlternative()
IrBoolExpr	getAntecedent()
IrSetExpr	getConsequent()
int	hashCode()
String	toString()

Methods inherited from class org.clafer.ir.IrAbstractSet

getCard, getEnv, getKer

Methods inherited from class java.lang.Object

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

Constructor Detail

IrSetTernary

public IrSetTernary(IrBoolExpr antecedent,
            IrSetExpr consequent,
            IrSetExpr alternative,
            IrDomain env,
            IrDomain ker,
            IrDomain card)

Method Detail

getAntecedent

public IrBoolExpr getAntecedent()

getConsequent

public IrSetExpr getConsequent()

getAlternative

public IrSetExpr getAlternative()

accept

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

Description copied from interface: IrSetExpr

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

equals

public boolean equals(Object obj)

Overrides:

equals in class IrAbstractSet

hashCode

public int hashCode()

Overrides:

hashCode in class IrAbstractSet

toString

public String toString()

Overrides:

toString in class Object