expressionPredicate.h File Reference

#include <BALL/KERNEL/atom.h>

Go to the source code of this file.


Classes

class  BALL::ExpressionPredicate

Namespaces

namespace  BALL