rwth.i2.ltlrv.management
Class Debug

java.lang.Object
  rwth.i2.ltlrv.management.Debug

public class Debug
extends Object

Author:

Eric Bodden

Field Summary

private static boolean	LOG_CONFIG
private static boolean	LOG_PROPOSITIONS

Constructor Summary

Debug()

Method Summary

static void	logConfig(String formulaId, Configuration config)
static void	logPropositions(String formulaId, PropositionSet currentPropositions)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

LOG_PROPOSITIONS

private static final boolean LOG_PROPOSITIONS

LOG_CONFIG

private static final boolean LOG_CONFIG

Constructor Detail

Debug

public Debug()

Method Detail

logPropositions

public static void logPropositions(String formulaId,
                                   PropositionSet currentPropositions)

Parameters:

formulaId -

currentPropositions -

logConfig

public static void logConfig(String formulaId,
                             Configuration config)

Parameters:

formulaId -

config -