Class FilterAtom

java.lang.Object
All Implemented Interfaces:
java.io.Serializable

public class FilterAtom
extends BodyFormula
See Also:
Serialized Form