Lines Matching refs:ctxt
39 defineps DPSeq(DPSContext ctxt)
43 defineps DPSexit(DPSContext ctxt)
47 defineps DPSfalse(DPSContext ctxt)
51 defineps DPSfor(DPSContext ctxt)
55 defineps DPSforall(DPSContext ctxt)
59 defineps DPSge(DPSContext ctxt)
63 defineps DPSgt(DPSContext ctxt)
67 defineps DPSif(DPSContext ctxt)
71 defineps DPSifelse(DPSContext ctxt)
75 defineps DPSle(DPSContext ctxt)
79 defineps DPSloop(DPSContext ctxt)
83 defineps DPSlt(DPSContext ctxt)
87 defineps DPSne(DPSContext ctxt)
91 defineps DPSnot(DPSContext ctxt)
95 defineps DPSor(DPSContext ctxt)
99 defineps DPSrepeat(DPSContext ctxt)
103 defineps DPSstop(DPSContext ctxt)
107 defineps DPSstopped(DPSContext ctxt)
111 defineps DPStrue(DPSContext ctxt)