#include "toolbox/sharedPointer.hh"
#include "formula.hh"
#include "constFormula.hh"
Go to the source code of this file.
Formula container which is based on RCP, but semantically a reference.
Definition in file formulaContainer.hh.