public class IrAcyclic extends IrAbstractBool implements IrBoolExpr
Constructor and Description |
---|
IrAcyclic(IrIntExpr[] edges,
IrBoolDomain domain) |
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) |
IrIntExpr[] |
getEdges() |
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() |
getDomain
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getDomain
public IrAcyclic(IrIntExpr[] edges, IrBoolDomain domain)
public IrBoolExpr negate()
IrBoolExpr
negate
in interface IrBoolExpr
public boolean isNegative()
IrBoolExpr
isNegative
in interface IrBoolExpr
public <A,B> B accept(IrBoolExprVisitor<A,B> visitor, A a)
IrBoolExpr
accept
in interface IrBoolExpr
A
- the parameter typeB
- the return typevisitor
- the visitora
- the parameterpublic <A,B> B accept(IrIntExprVisitor<A,B> visitor, A a)
IrIntExpr
public boolean equals(Object obj)
equals
in class IrAbstractBool
public int hashCode()
hashCode
in class IrAbstractBool
Copyright © 2013. All Rights Reserved.