本文整理汇总了Python中salma.model.world.World.set_logic_engine方法的典型用法代码示例。如果您正苦于以下问题：Python World.set_logic_engine方法的具体用法？Python World.set_logic_engine怎么用？Python World.set_logic_engine使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类salma.model.world.World的用法示例。
在下文中一共展示了World.set_logic_engine方法的5个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: setUpClass
# 需要导入模块: from salma.model.world import World [as 别名]
# 或者: from salma.model.world.World import set_logic_engine [as 别名]
def setUpClass(cls):
try:
World.set_logic_engine(EclipseCLPEngine("../test/ASCENS_robotic_scenario/ASCENS_robotic_domain.ecl",
"../test/ASCENS_robotic_scenario/ASCENS_robotic_scenario_01.ecl"))
except SALMAException as e:
print(e)
raise
RoboticScenario.logger = logging.getLogger('salma')
RoboticScenario.logger.setLevel(logging.INFO)
ch = logging.StreamHandler()
RoboticScenario.logger.addHandler(ch)示例2: setUpClass
# 需要导入模块: from salma.model.world import World [as 别名]
# 或者: from salma.model.world.World import set_logic_engine [as 别名]
def setUpClass(cls):
try:
World.set_logic_engine(EclipseCLPEngine("ecl-test/robot-simple/robot.simple-domaindesc.ecl"))
except SALMAException as e:
print(e)
raise
logger = logging.getLogger('salmalab')
logger.setLevel(logging.DEBUG)
ch = logging.StreamHandler()
logger.addHandler(ch)示例3: setUpClass
# 需要导入模块: from salma.model.world import World [as 别名]
# 或者: from salma.model.world.World import set_logic_engine [as 别名]
def setUpClass(cls):
try:
World.set_logic_engine(
EclipseCLPEngine("ecl-test/info-transfer-test/domaindesc_info_transfer_test.ecl"))
except SALMAException as e:
print(e)
raise
logger = logging.getLogger('salmalab')
logger.setLevel(logging.DEBUG)
ch = logging.StreamHandler()
logger.addHandler(ch)示例4: setUpClass
# 需要导入模块: from salma.model.world import World [as 别名]
# 或者: from salma.model.world.World import set_logic_engine [as 别名]
def setUpClass(cls):
try:
World.set_logic_engine(
EclipseCLPEngine("ecl-test/event_scheduling/domaindesc_event_scheduling.ecl"))
except SALMAException as e:
print(e)
raise
logger = logging.getLogger('salmalab')
logger.setLevel(logging.DEBUG)
ch = logging.StreamHandler()
logger.addHandler(ch)
logger2 = logging.getLogger('salma.model')
logger2.setLevel(logging.DEBUG)
logger2.addHandler(ch)示例5: __init__
# 需要导入模块: from salma.model.world import World [as 别名]
# 或者: from salma.model.world.World import set_logic_engine [as 别名]
def __init__(self, world, procedure_defs=None):
"""
Creates an experiment instance based on the given world.
:param World|str world: the world this experiment uses
:param str|tuple[str]|list[str] procedure_defs: a path or a couple of paths to Eclipse procedure definitions.
"""
# : :type: World
if isinstance(world, World):
self.__world = world
self.__world_declaration_path = None
elif isinstance(world, str):
self.__world = None
self.__world_declaration_path = world
self.__procedure_defs_path = procedure_defs
if self.__world is None:
if self.world_declaration_path is None:
raise SALMAException("Neither world not world declaration path given for experiment.")
World.set_logic_engine(EclipseCLPEngine(self.world_declaration_path, self.procedure_defs_path))
#: :type: PropertyCollection
self.__property_collection = PropertyCollection(World.logic_engine())
#: :type: list[call
self.__step_listeners = []