$ A C D E F G H I J M N O P R S T V W X Y

J

JustificationException - Exception in at.jku.risc.stout.urauc.algo

This ControlledException is thrown if the justification of the computed generalization fails.

JustificationException() - Constructor for exception at.jku.risc.stout.urauc.algo.JustificationException

JustificationException(String) - Constructor for exception at.jku.risc.stout.urauc.algo.JustificationException

JustificationException(Throwable) - Constructor for exception at.jku.risc.stout.urauc.algo.JustificationException

JustificationException(String, Throwable) - Constructor for exception at.jku.risc.stout.urauc.algo.JustificationException

justifyGeneralization(PrintStream) - Method in class at.jku.risc.stout.urauc.algo.AntiUnify.AntiUnifyOne

$ A C D E F G H I J M N O P R S T V W X Y