Package: SQuantifierExpBase
SQuantifierExpBase
name | instruction | branch | complexity | line | method | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SQuantifierExpBase() |
|
|
|
|
|
||||||||||||||||||||
SQuantifierExpBase(STypeIR, List, SExpIR) |
|
|
|
|
|
||||||||||||||||||||
SQuantifierExpBase(SourceNode, Object, List, STypeIR, List, SExpIR) |
|
|
|
|
|
||||||||||||||||||||
equals(Object) |
|
|
|
|
|
||||||||||||||||||||
getBindList() |
|
|
|
|
|
||||||||||||||||||||
getChildren(Boolean) |
|
|
|
|
|
||||||||||||||||||||
getPredicate() |
|
|
|
|
|
||||||||||||||||||||
hashCode() |
|
|
|
|
|
||||||||||||||||||||
removeChild(INode) |
|
|
|
|
|
||||||||||||||||||||
setBindList(List) |
|
|
|
|
|
||||||||||||||||||||
setPredicate(SExpIR) |
|
|
|
|
|
||||||||||||||||||||
toString() |
|
|
|
|
|