jade.semantics.kbase.filters.std.assertion
Classes
AllIREFilter
AndFilter
ForallFilter
IsdoingAssertFilter