示例#1
0
 def dump(self, indent="  "):
     if self.time:
         print "%sat %s:" % (indent, self.time)
         indent += "  "
     print "%sif" % (indent)
     if isinstance(self.condition, list):
         conditions.dump_temporal_condition(self.condition, indent + "  ")
     else:
         self.condition.dump(indent + "  ")
     print "%sthen" % (indent)
     self.effects[0].dump(indent + "  ")
示例#2
0
 def dump(self, indent="  "):
     if self.time:
         print "%sat %s:" %(indent,self.time)
         indent += "  "
     print "%sif" % (indent)
     if isinstance(self.condition,list):
         conditions.dump_temporal_condition(self.condition,indent + "  ")
     else:
         self.condition.dump(indent + "  ")
     print "%sthen" % (indent)
     self.effects[0].dump(indent + "  ")
示例#3
0
 def dump(self):
   indent = "  "
   if self.parameters:
     print "%sforall %s" % (indent, ", ".join(map(str, self.parameters)))
     indent += "  "
   if ((isinstance(self.condition,list) and 
       self.condition != [conditions.Truth(),conditions.Truth(),conditions.Truth()])
      or (not isinstance(self.condition,list) and self.condition != conditions.Truth())):
     print "%sif" % indent
     if isinstance(self.condition,list):
       conditions.dump_temporal_condition(self.condition,indent + "  ")
     else:
       self.condition.dump(indent + "  ")
     print "%sthen" % indent
     indent += "  "
   self.peffect.dump(indent)
示例#4
0
 def dump(self):
     indent = "  "
     if self.parameters:
         print "%sforall %s" % (indent, ", ".join(map(str, self.parameters)))
         indent += "  "
     if ((isinstance(self.condition, list) and
          self.condition != [conditions.Truth(), conditions.Truth(), conditions.Truth()])
             or (not isinstance(self.condition, list) and self.condition != conditions.Truth())):
         print "%sif" % indent
         if isinstance(self.condition, list):
             conditions.dump_temporal_condition(self.condition, indent + "  ")
         else:
             self.condition.dump(indent + "  ")
         print "%sthen" % indent
         indent += "  "
     self.peffect.dump(indent)