Instance Class Hierarchic Representation

Class Tree
Description The vertices are represented by pairs (N,M), where N is the name of a clump and M the name of a vertex in this clump.
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • edge/4
  • initialvtx/2
  • vtx/2
Instances
21 - 40 of 187