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

All Known Implementing Classes:
AbstractCTLBinaryWithRangeOperator, AbstractCTLUnaryWithRangeOperator, OpCTLAnd, OpCTLIff, OpCTLImplies, OpCTLNot, OpCTLOr, OpCTLPureAA, OpCTLPureABF, OpCTLPureABG, OpCTLPureAF, OpCTLPureAG, OpCTLPureAX, OpCTLPureEBF, OpCTLPureEBG, OpCTLPureEE, OpCTLPureEF, OpCTLPureEG, OpCTLPureEX, OpCTLXnor, OpCTLXor

public interface ICTLOperator