cz::muni::stanse::configuration::Configuration Member List

This is the complete list of members for cz::muni::stanse::configuration::Configuration, including all inherited members.

Configuration()cz::muni::stanse::configuration::Configuration [inline]
Configuration(final SourceConfiguration sourceConfiguration)cz::muni::stanse::configuration::Configuration [inline]
Configuration(final SourceConfiguration sourceConfiguration, final List< CheckerConfiguration > checkerConfiguration)cz::muni::stanse::configuration::Configuration [inline]
createDefaultCheckerConfiguration()cz::muni::stanse::configuration::Configuration [inline, static]
createDefaultSourceConfiguration()cz::muni::stanse::configuration::Configuration [inline, static]
evaluate(final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)cz::muni::stanse::configuration::Configuration [inline]
evaluate_EachUnitSeparately(final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor)cz::muni::stanse::configuration::Configuration [inline]
evaluate_EachUnitSeparately(final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)cz::muni::stanse::configuration::Configuration [inline]
evaluateWait(final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)cz::muni::stanse::configuration::Configuration [inline]
evaluateWait_EachUnitSeparately(final CheckerErrorReceiver receiver, final CheckerProgressMonitor monitor, final EvaluationStatistic statistic)cz::muni::stanse::configuration::Configuration [inline]
getCheckerConfigurations()cz::muni::stanse::configuration::Configuration [inline]
getSourceConfiguration()cz::muni::stanse::configuration::Configuration [inline]


Generated on Thu Jan 13 16:24:09 2011 for Stanse by  doxygen 1.5.6