slice.cpp File Reference

#include <goto-symex/equation/slice.h>
#include <util/base/prefix.h>

Include dependency graph for slice.cpp:

Functions
static bool	no_slice (const symbol2t &sym)

Function Documentation

no_slice()

bool no_slice ( const symbol2t & sym )

static