NoConfiguration.java

package dgm.exceptions;

import dgm.ID;

public class NoConfiguration extends DegraphmalizerException
{
    public NoConfiguration(ID id)
    {
        super("No matching configuration for index=" + id.index() + ", type=" + id.type(), Severity.INFO);
    }
}