docs/api/ts__slice_8h_source.html

#pragma once


#include <transition-system/transition_system.h>


void slice_transition_system(transition_systemt &ts);

transition_systemt
Transition system here represents a sequential circuit.
Definition transition_system.h:36

transition_system.h

slice_transition_system
void slice_transition_system(transition_systemt &ts)
Drop the state variables, definitions and inputs that no property, assumption, invariant or back-edge...
Definition ts_slice.cpp:7