A C D E F G H I M N O P R S T U W

U

UnificationException - Exception in dpvis.datastructures.exceptions

UnificationException() - Constructor for exception dpvis.datastructures.exceptions.UnificationException

UnificationException(String) - Constructor for exception dpvis.datastructures.exceptions.UnificationException

UnificationException(Throwable) - Constructor for exception dpvis.datastructures.exceptions.UnificationException

UnificationException(String, Throwable) - Constructor for exception dpvis.datastructures.exceptions.UnificationException

unify(Term, Term) - Static method in class dpvis.datastructures.UtilityFunctions

Tries to unify two terms.

UNORDERED_LIST - Static variable in class dpvis.output.OutputElement

UtilityFunctions - Class in dpvis.datastructures

UtilityFunctions() - Constructor for class dpvis.datastructures.UtilityFunctions