Package net.automatalib.modelchecker.m3c.formula.ctl
-
Class Summary Class Description AFNode<L,AP> Java representation of a "AF" (sub-)formula.AGNode<L,AP> Java representation of a "AG" (sub-)formula.AUNode<L,AP> Java representation of a "AU" (sub-)formula.AWUNode<L,AP> Java representation of an "AWU" (sub-)formula.EFNode<L,AP> Java representation of a "EF" (sub-)formula.EGNode<L,AP> Java representation of a "EG" (sub-)formula.EUNode<L,AP> Java representation of a "EU" (sub-)formula.EWUNode<L,AP> Java representation of a "EWU" (sub-)formula.