|
(digraph_conn_defs
(max_connected_component?_TCC1 0
(max_connected_component?_TCC1-1 nil 3560614115
("" (skosimp)
(("" (inst 1 "empty_digraph")
(("" (split)
(("1" (expand "di_subgraph?")
(("1" (expand "subset?")
(("1" (expand "member")
(("1" (split)
(("1" (skosimp)
(("1" (expand "empty_digraph")
(("1" (expand "emptyset") (("1" (propax) nil nil))
nil))
nil))
nil)
("2" (skosimp)
(("2" (expand "empty_digraph")
(("2" (expand "emptyset") (("2" (propax) nil nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil)
("2" (expand "connected_component?")
(("2" (expand "connected?")
(("2" (expand "reachable?")
(("2" (expand "di_subgraph?")
(("2" (expand "subset?")
(("2" (expand "member")
(("2" (split)
(("1" (skosimp)
(("1" (typepred "u!1" "v!1")
(("1" (expand "empty_digraph")
(("1" (expand "emptyset")
(("1" (propax) nil nil)) nil))
nil))
nil))
nil)
("2" (skosimp)
(("2" (expand "empty_digraph")
(("2" (expand "emptyset")
(("2" (propax) nil nil)) nil))
nil))
nil)
("3" (skosimp)
(("3" (expand "empty_digraph")
(("3" (expand "emptyset")
(("3" (propax) nil nil)) nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil))
nil)
((T formal-type-decl nil digraph_conn_defs nil)
(edgetype type-eq-decl nil digraphs nil)
(finite_set type-eq-decl nil finite_sets nil)
(predigraph type-eq-decl nil digraphs nil)
(boolean nonempty-type-decl nil booleans nil)
(bool nonempty-type-eq-decl nil booleans nil)
(IMPLIES const-decl "[bool, bool -> bool]" booleans nil)
(AND const-decl "[bool, bool -> bool]" booleans nil)
(digraph type-eq-decl nil digraphs nil)
(empty_digraph const-decl "digraph" digraphs nil)
(connected_component? const-decl "bool" digraph_conn_defs nil)
(reachable? const-decl "bool" walks nil)
(NOT const-decl "[bool -> bool]" booleans nil)
(connected? const-decl "bool" digraph_conn_defs nil)
(di_subgraph? const-decl "bool" di_subgraphs nil)
(member const-decl "bool" sets nil)
(emptyset const-decl "set" sets nil)
(subset? const-decl "bool" sets nil))
nil)))
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.2Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
