`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