Class Minimum

java.lang.Object

public class Minimum extends AssociativeOperation
This class models the minimum of two terms.
Author:
Matthias Thimm