#include "SlicingCriterion.h"
#include "FindStatements.h"
#include "MarkingNodes.h"
#include "RemovalOfNodes.h"
#include "CheckWhichAreMarked.h"
Go to the source code of this file.