Package impl.definition

package impl.definition

Classes

Class	Description
DefaultJMHParameters	Holds all JHM (and JVM) parameters.
DefaultKBScenario	Holds data, rules, and queries defining the reasoning scenario.
DefaultMeasures	Holds information on the measure to be taken.
DefaultToolParameters	Holds all parameters to configure Rulewerk-VLog.