Instance Class Hydraulic Leaking

Class Tree
Description See http://asp.haiti.cs.uni-potsdam.de/encodingclass/show/id/97
Submitter Martin Gebser
Compatible Encodings
Output Predicates
  • full/1
  • goal/1
  • jet/1
  • junction/1
  • leaking/1
  • link/3
  • numValves/1
  • tank/1
  • valve/1
Instances
1 - 6 of 6