Class Logarithm

java.lang.Object

public class Logarithm extends FunctionalTerm
Instances of this class represent application of the logarithm function on some term.
Author:
Matthias Thimm