Class IdentityPDisjunctionRewriter


  • public class IdentityPDisjunctionRewriter
    extends PDisjunctionRewriter
    The identity element of PDisjunctionRewriter composition.
    Since:
    2.9