SuspensionAutomata.cpp File Reference

#include "SuspensionAutomata.h"
#include "FindArgument.h"
#include <algorithm>

Include dependency graph for SuspensionAutomata.cpp:

Go to the source code of this file.

Functions
template<typename Node >
bool	is_found (Node n1, Node n2)
template<template< typename, typename > class Container, typename Node , typename Allocator >
bool	generic_isFound (Container< Node, Allocator > &container, Node node)

Function Documentation

generic_isFound()

template<template< typename, typename > class Container, typename Node , typename Allocator >

bool generic_isFound	(	Container< Node, Allocator > &	container,
		Node	node )

Definition at line 719 of file SuspensionAutomata.cpp.

is_found()

template<typename Node >

bool is_found	(	Node	n1,
		Node	n2 )

Definition at line 713 of file SuspensionAutomata.cpp.