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
181 - 187 of 187