Class OrNode

    • Constructor Detail

      • OrNode

        public OrNode​(List<ExprNode> childList)
        Creates a OrNode using a logical operator and a list of children.
        Parameters:
        childList - the child nodes under this branch node.
      • OrNode

        public OrNode​(ExprNode... childList)
        Creates a OrNode using a logical operator and a list of children.
        Parameters:
        childList - the child nodes under this branch node.
      • OrNode

        public OrNode()
        Creates an empty OrNode
    • Method Detail

      • getOperator

        public AssertionType getOperator()
        Gets the operator for this branch node.
        Returns:
        the operator constant.
      • isDisjunction

        public boolean isDisjunction()
        Tests whether or not this node is a disjunction (a OR'ed branch).
        Returns:
        true if the operation is a OR, false otherwise.
      • isConjunction

        public boolean isConjunction()
        Tests whether or not this node is a conjunction (a AND'ed branch).
        Returns:
        true if the operation is a AND, false otherwise.
      • isNegation

        public boolean isNegation()
        Tests whether or not this node is a negation (a NOT'ed branch).
        Returns:
        true if the operation is a NOT, false otherwise.