$ A B C D E F G H I J L M N O P R S T V

B

bindAll(TermNode) - Method in class at.jku.risc.stout.hoau.algo.AntiUnifyProblem

Binds all the abstracted variables to the given term.

BoundVariable - Class in at.jku.risc.stout.hoau.data.atom

A bound variable is special type of Variable which stores it's origin name because it may be renamed by alpha conversion.

BoundVariable(String, String, String) - Constructor for class at.jku.risc.stout.hoau.data.atom.BoundVariable

$ A B C D E F G H I J L M N O P R S T V