__dependency_graph.dot

digraph {
	sha2 -> "(iomanip)" [color=blue]
	sha2 -> "(iostream)" [color=blue]
	sha2 -> "(sstream)" [color=blue]
	sha2 -> string [color=blue]
	sha2 -> "(cstdint)" [color=red]
	sha2 -> "(string)" [color=red]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\cryptography" {
		sha2
		sha2
	}
	CfgGrammar -> FctHelper [color=blue]
	CfgGrammar -> "boost/algorithm/string" [color=blue]
	CfgGrammar -> IPrintable [color=red]
	CfgGrammar -> "(cstdint)" [color=red]
	CfgGrammar -> "(unordered_map)" [color=red]
	CfgGrammar -> "(vector)" [color=red]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\grammar" {
		CfgGrammar
		CfgGrammar
	}
	FctHelper -> "(iostream)" [color=blue]
	FctHelper -> math [color=blue]
	FctHelper -> "(algorithm)" [color=red]
	FctHelper -> "(array)" [color=red]
	FctHelper -> "(charconv)" [color=red]
	FctHelper -> "(chrono)" [color=red]
	FctHelper -> "(cstddef)" [color=red]
	FctHelper -> "(cstdint)" [color=red]
	FctHelper -> "(deque)" [color=red]
	FctHelper -> "(filesystem)" [color=red]
	FctHelper -> "(fstream)" [color=red]
	FctHelper -> "(map)" [color=red]
	FctHelper -> mpi [color=red]
	FctHelper -> "(set)" [color=red]
	FctHelper -> "(sstream)" [color=red]
	FctHelper -> "(string)" [color=red]
	FctHelper -> "(vector)" [color=red]
	FwdTbb -> version [color=red]
	FwdTbb -> tbb_stddef [color=red]
	FwdTbb -> "(functional)" [color=red]
	FwdTbb -> "(utility)" [color=red]
	Hashing -> "(cstddef)" [color=red]
	Hashing -> "(functional)" [color=red]
	Hashing -> "(tuple)" [color=red]
	Hashing -> "(utility)" [color=red]
	Hashing -> "(vector)" [color=red]
	ICloneable -> "(memory)" [color=red]
	ICloneable -> "(unordered_map)" [color=red]
	IPrintable -> FctHelper [color=blue]
	IPrintable -> "(memory)" [color=red]
	IPrintable -> "(string)" [color=red]
	ProgressData -> FctHelper [color=blue]
	ProgressData -> "(cstring)" [color=blue]
	ProgressData -> "(iostream)" [color=blue]
	ProgressData -> "(iterator)" [color=blue]
	ProgressData -> "(atomic)" [color=red]
	ProgressData -> "(chrono)" [color=red]
	ProgressData -> "(cstdint)" [color=red]
	ProgressData -> "(string)" [color=red]
	ProgressData -> "(vector)" [color=red]
	Resources -> "(string)" [color=red]
	Resources -> "(vector)" [color=red]
	Version -> "(array)" [color=red]
	Version -> "(cstddef)" [color=red]
	Version -> "(cstdint)" [color=red]
	Version -> "(type_traits)" [color=red]
	Version -> "(utility)" [color=red]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\helper" {
		FctHelper
		FctHelper
		FwdTbb
		Hashing
		ICloneable
		IPrintable
		IPrintable
		ProgressData
		ProgressData
		Resources
		Resources
		Version
	}
	DlCore -> FctHelper [color=blue]
	DlCore -> TreeNode [color=blue]
	DlCore -> CfgGrammar [color=blue]
	DlCore -> DRuleParser [color=blue]
	DlCore -> DlFormula [color=blue]
	DlCore -> DlStructure [color=blue]
	DlCore -> concurrent_map [color=blue]
	DlCore -> concurrent_unordered_map [color=blue]
	DlCore -> concurrent_vector [color=blue]
	DlCore -> "(iostream)" [color=blue]
	DlCore -> "(mutex)" [color=blue]
	DlCore -> FwdTbb [color=red]
	DlCore -> "(cstddef)" [color=red]
	DlCore -> "(cstdint)" [color=red]
	DlCore -> "(map)" [color=red]
	DlCore -> "(memory)" [color=red]
	DlCore -> "(string)" [color=red]
	DlCore -> "(unordered_map)" [color=red]
	DlCore -> "(unordered_set)" [color=red]
	DlCore -> "(vector)" [color=red]
	DlFormula -> TreeNode [color=blue]
	DlFormula -> DlCore [color=blue]
	DlFormula -> "(cstddef)" [color=red]
	DlFormula -> "(memory)" [color=red]
	DlFormula -> "(string)" [color=red]
	DlProofEnumerator -> FctHelper [color=blue]
	DlProofEnumerator -> Resources [color=blue]
	DlProofEnumerator -> TreeNode [color=blue]
	DlProofEnumerator -> sha2 [color=blue]
	DlProofEnumerator -> DlCore [color=blue]
	DlProofEnumerator -> DlFormula [color=blue]
	DlProofEnumerator -> "boost/algorithm/string" [color=blue]
	DlProofEnumerator -> concurrent_map [color=blue]
	DlProofEnumerator -> concurrent_unordered_set [color=blue]
	DlProofEnumerator -> concurrent_vector [color=blue]
	DlProofEnumerator -> parallel_for [color=blue]
	DlProofEnumerator -> parallel_sort [color=blue]
	DlProofEnumerator -> "(cstdlib)" [color=blue]
	DlProofEnumerator -> "(cstring)" [color=blue]
	DlProofEnumerator -> FwdTbb [color=red]
	DlProofEnumerator -> ProgressData [color=red]
	DlProofEnumerator -> DRuleParser [color=red]
	DlProofEnumerator -> "(array)" [color=red]
	DlProofEnumerator -> "(condition_variable)" [color=red]
	DlProofEnumerator -> "(iostream)" [color=red]
	DlProofEnumerator -> "(iterator)" [color=red]
	DlProofEnumerator -> concurrent_queue [color=red]
	DlProofEnumerator -> concurrent_unordered_map [color=red]
	DlProofEnumerator -> "(thread)" [color=red]
	DlStructure -> CfgGrammar [color=blue]
	DlStructure -> "(cstdint)" [color=red]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\logic" {
		DlCore
		DlCore
		DlFormula
		DlFormula
		DlProofEnumerator
		DlProofEnumerator
		DlStructure
		DlStructure
	}
	main -> FctHelper [color=blue]
	main -> Version [color=blue]
	main -> DRuleReducer [color=blue]
	main -> DlProofEnumerator [color=blue]
	main -> "boost/algorithm/string" [color=blue]
	main -> "(cstring)" [color=blue]
	main -> "(ctime)" [color=blue]
	main -> process [color=blue]
	main -> unistd [color=blue]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator" {
		main
	}
	DRuleParser -> FctHelper [color=blue]
	DRuleParser -> TreeNode [color=blue]
	DRuleParser -> DlCore [color=blue]
	DRuleParser -> DlFormula [color=blue]
	DRuleParser -> "boost/algorithm/string" [color=blue]
	DRuleParser -> "(iostream)" [color=blue]
	DRuleParser -> "(numeric)" [color=blue]
	DRuleParser -> "(cstddef)" [color=red]
	DRuleParser -> "(map)" [color=red]
	DRuleParser -> "(memory)" [color=red]
	DRuleParser -> "(set)" [color=red]
	DRuleParser -> "(string_view)" [color=red]
	DRuleParser -> "(string)" [color=red]
	DRuleParser -> "(tuple)" [color=red]
	DRuleParser -> "(unordered_map)" [color=red]
	DRuleParser -> "(unordered_set)" [color=red]
	DRuleParser -> "(utility)" [color=red]
	DRuleParser -> "(vector)" [color=red]
	DRuleReducer -> FctHelper [color=blue]
	DRuleReducer -> TreeNode [color=blue]
	DRuleReducer -> DlCore [color=blue]
	DRuleReducer -> DlProofEnumerator [color=blue]
	DRuleReducer -> concurrent_map [color=blue]
	DRuleReducer -> concurrent_vector [color=blue]
	DRuleReducer -> parallel_for [color=blue]
	DRuleReducer -> "boost/algorithm/string" [color=blue]
	DRuleReducer -> "(string)" [color=red]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\metamath" {
		DRuleParser
		DRuleParser
		DRuleReducer
		DRuleReducer
	}
	TreeNode -> ICloneable [color=red]
	TreeNode -> IPrintable [color=red]
	TreeNode -> "(algorithm)" [color=red]
	TreeNode -> "(cstddef)" [color=red]
	TreeNode -> "(cstdint)" [color=red]
	TreeNode -> "(functional)" [color=red]
	TreeNode -> "(iomanip)" [color=red]
	TreeNode -> "(sstream)" [color=red]
	TreeNode -> "(unordered_set)" [color=red]
	TreeNode -> "(vector)" [color=red]
	subgraph "cluster_D:/Dropbox/eclipse/pmGenerator\tree" {
		TreeNode
	}
}