本文整理汇总了Python中salma.model.world.World.logic_engine方法的典型用法代码示例。如果您正苦于以下问题：Python World.logic_engine方法的具体用法？Python World.logic_engine怎么用？Python World.logic_engine使用的例子？那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类salma.model.world.World的用法示例。
在下文中一共展示了World.logic_engine方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Python代码示例。
示例1: __init__
# 需要导入模块: from salma.model.world import World [as 别名]
# 或者: from salma.model.world.World import 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 = []