`dacbench.benchmarks.modea_benchmark`

Module Contents

Classes

ModeaBenchmark

Benchmark with default configuration & relevant functions for Modea

dacbench.benchmarks.modea_benchmark.INFO

dacbench.benchmarks.modea_benchmark.MODEA_DEFAULTS

class dacbench.benchmarks.modea_benchmark.ModeaBenchmark(config_path=None, config=None)

Bases: dacbench.abstract_benchmark.AbstractBenchmark

Benchmark with default configuration & relevant functions for Modea

get_environment(self)

Return ModeaEnv env with current configuration

Returns: Modea environment
Return type: ModeaEnv

read_instance_set(self, test=False): Read path of instances from config into list