org.clafer.ast

Class AstBoolArithm

java.lang.Object

org.clafer.ast.AstBoolArithm

All Implemented Interfaces:

AstBoolExpr, AstExpr

public class AstBoolArithm
extends Object
implements AstBoolExpr

foldl1 op operands. Note that even implies is left-associative.

Author:

jimmy

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	AstBoolArithm.Op

Method Summary

Methods

Modifier and Type	Method and Description
<A,B> B	accept(AstExprVisitor<A,B> visitor, A a) Dynamic dispatch on the visitor.
boolean	equals(Object obj)
AstBoolArithm.Op	getOp()
AstBoolExpr[]	getOperands()
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Method Detail

getOp

public AstBoolArithm.Op getOp()

getOperands

public AstBoolExpr[] getOperands()

accept

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

Description copied from interface: AstExpr

Dynamic dispatch on the visitor.

Specified by:

accept in interface AstExpr

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 Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object