def __init__(self):
'''
Constructor
'''
logging.basicConfig()
AbstractWrapper.__init__(self)
self.parser.add_argument(
"--script",
dest="cssc_script",
required=True,
help=
"simple cssc script with only \"get_command_line_cmd(runargs, config)\""
)
self.parser.add_argument(
"--sol-file",
dest="solubility_file",
default=None,
help="File with \"<instance> {SATISFIABLE|UNSATISFIABLE|UNKNOWN}\" "
)
self.parser.add_argument("--sat-checker",
dest="sat_checker",
default=None,
help="binary of SAT checker")
self.__instance = ""
self.__cmd = ""
self._FAILED_FILE = "failed_runs.txt" # in self._tmp_dir
self.inst_specific = None
def __init__(self):
'''
Constructor
'''
AbstractWrapper.__init__(self)
self.parser.add_argument("--binary", dest="binary")
def __init__(self):
AbstractWrapper.__init__(self)
self.__script_dir = os.path.abspath(os.path.split(__file__)[0])
self.parser.add_argument("--solution-validator",
dest="solution_validator",
default=None,
help="binary of the VAL plan validator")
self.parser.add_argument("--problem-enc",
dest="problem_enc",
default=None,
help="problem encoding / domain")
def __init__(self):
'''
Constructor
'''
#logging.basicConfig()
AbstractWrapper.__init__(self)
self.__instance = ""
self.__cmd = ""
self._FAILED_FILE = "failed_runs.txt" #in self._tmp_dir
self.inst_specific = None
def __init__(self):
'''
Constructor
'''
logging.basicConfig()
AbstractWrapper.__init__(self)
self.parser.add_argument(
"--sol-file",
dest="solubility_file",
default=None,
help="File with \"<instance> {SATISFIABLE|UNSATISFIABLE|UNKNOWN}\" "
)
self.parser.add_argument("--sat-checker",
dest="sat_checker",
default=None,
help="binary of SAT checker")
self._instance = ""
self._instance = ""
self.inst_specific = None
def __init__(self):
AbstractWrapper.__init__(self)
self._return_value = None
def __init__(self):
logging.basicConfig()
AbstractWrapper.__init__(self)
self._return_value = None
def __init__(self):
logging.basicConfig()
AbstractWrapper.__init__(self)
self._return_value = None