Class ClosureReasoner


  • public class ClosureReasoner
    extends java.lang.Object
    a set of arguments S is closed under the support relation iff all arguments supported by an element of S are in S.
    Author:
    Lars Bengel