Serialized Form

Package tools.refinery.generator

Exception Class tools.refinery.generator.GeneratorTimeoutException

class GeneratorTimeoutException extends RuntimeException implements Serializable

Exception Class tools.refinery.generator.InvalidProblemException

class InvalidProblemException extends IllegalArgumentException implements Serializable

Exception Class tools.refinery.generator.InvalidScopeConstraintException

class InvalidScopeConstraintException extends IllegalArgumentException implements Serializable

Exception Class tools.refinery.generator.UnsatisfiableProblemException

class UnsatisfiableProblemException extends RuntimeException implements Serializable