Beispiel #1
0
 def __init__(self,
              mrf,
              simplify=False,
              unsatfailure=False,
              formulas=None,
              cache=None,
              **params):
     DefaultGroundingFactory.__init__(self,
                                      mrf,
                                      simplify=simplify,
                                      unsatfailure=unsatfailure,
                                      formulas=formulas,
                                      cache=cache,
                                      **params)
Beispiel #2
0
 def __init__(self, mrf, simplify=False, unsatfailure=False, formulas=None,
              cache=None, **params):
     DefaultGroundingFactory.__init__(self, mrf, simplify=simplify, unsatfailure=unsatfailure, formulas=formulas, cache=cache, **params)