public class IrNotImplies extends IrAbstractBool implements IrBoolExpr
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) |
IrBoolExpr |
getAntecedent() |
IrBoolExpr |
getConsequent() |
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 IrBoolExpr getAntecedent()
public IrBoolExpr getConsequent()
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.