|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use BinOp | |
---|---|
de.upb.swt.mcie.robdds | This package implements reduced ordered binary decision diagrams (ROBDDs). |
Uses of BinOp in de.upb.swt.mcie.robdds |
---|
Fields in de.upb.swt.mcie.robdds declared as BinOp | |
---|---|
BinOp |
Context.and
The and operation in this context. |
BinOp |
Context.equiv
The equivalence operation (equality) in this context. |
BinOp |
Context.impl
The implication operation in this context. |
BinOp |
Context.or
The or operation in this context. |
BinOp |
Context.xor
The xor operation in this context. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |