org.clafer.ir

Class IrTernary

java.lang.Object

org.clafer.ir.IrAbstractInt

org.clafer.ir.IrTernary

All Implemented Interfaces:

IrExpr, IrIntExpr

public class IrTernary
extends IrAbstractInt

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
IrTernary(IrBoolExpr antecedent, IrIntExpr consequent, IrIntExpr alternative, IrDomain domain)

Method Summary

Methods

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

Methods inherited from class org.clafer.ir.IrAbstractInt

getDomain

Methods inherited from class java.lang.Object

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

Constructor Detail

IrTernary

public IrTernary(IrBoolExpr antecedent,
         IrIntExpr consequent,
         IrIntExpr alternative,
         IrDomain domain)

Method Detail

getAntecedent

public IrBoolExpr getAntecedent()

getConsequent

public IrIntExpr getConsequent()

getAlternative

public IrIntExpr getAlternative()

accept

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

Description copied from interface: IrIntExpr

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 IrAbstractInt

hashCode

public int hashCode()

Overrides:

hashCode in class IrAbstractInt

toString

public String toString()

Overrides:

toString in class Object