net.sourceforge.czt.z.ast

Interface IffPred

All Superinterfaces:

Pred, Pred2, Term

All Known Implementing Classes:

IffPredImpl

public interface IffPred
extends Pred2

An equivalence (C.5.7).

Author:

GnAST version 1.6-SNAPSHOT

Method Summary

Methods inherited from interface net.sourceforge.czt.z.ast.Pred2

getLeftPred, getPred, getRightPred, setLeftPred, setRightPred

Methods inherited from interface net.sourceforge.czt.base.ast.Term

accept, annsSize, create, getAnn, getAnns, getChildren, hasAnn, hasAnn, removeAnn, removeAnn