def __init__(self, name):
"""
Initializes the application setting the program name.
See clingo.clingo_main().
"""
self.program_name = name
self.version = "1.0"
self.__approach = "count"
self.__cutoff = 0.0
self.__s = 0
self.__q = 0.5
self.__sampling = _clingo.Flag(False)
self.__display = _clingo.Flag(False)
def __init__(self):
self.version = "1.0"
self.__handler = None
self.watch_type = "timed"
self.lock_ng = -1
self.use_ids = clingo.Flag(False)
def __init__(self,
prop_type: str = "timed",
lock_ng=-1,
use_ids=clingo.Flag(False)) -> None:
self.logger = logging.getLogger(self.__module__ + "." +
self.__class__.__name__)
if prop_type not in TheoryHandler.supported_types:
raise ValueError(
"Propagator Handler does not support {} watch type".format(
prop_type))
self.propagator = lambda id: PROPAGATORS[prop_type](id, lock_ng)
self.prop_ids = set()
self.use_ids = use_ids.flag
def __init__(self):
self.shift_constraints = clingo.Flag(True)
self.print_aux = clingo.Flag(False)
self.print_trans = clingo.Flag(False)