public class Relation extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Relation.Operator |
| Constructor and Description |
|---|
Relation(Tree.Kind kind,
SymbolicValue leftOperand,
SymbolicValue rightOperand) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
int |
hashCode() |
boolean |
isCompatibleWith(Relation other) |
SymbolicValue |
leftOperand() |
Relation |
not() |
Set<SymbolicValue> |
operands() |
Relation.Operator |
operator() |
SymbolicValue |
rightOperand() |
String |
toString() |
public Relation(Tree.Kind kind, SymbolicValue leftOperand, SymbolicValue rightOperand)
public Relation not()
public boolean isCompatibleWith(Relation other)
public Set<SymbolicValue> operands()
public SymbolicValue leftOperand()
public SymbolicValue rightOperand()
public Relation.Operator operator()
Copyright © 2011–2016 SonarSource and Eriks Nukis. All rights reserved.