edu.wis.jtlv.env.core.smv.eval
Interface IBoolOperator

All Known Implementing Classes:
OpAnd, OpCond, OpIff, OpImplies, OpNot, OpOr, OpXnor, OpXor

public interface IBoolOperator