Class NotNode

    • Constructor Detail

      • NotNode

        public NotNode​(List<ExprNode> childList)
        Creates a NotNode using a logical NOT operator and a list of children. A Not node could contain only one child
        Parameters:
        childList - the child nodes under this branch node.
      • NotNode

        public NotNode​(ExprNode child)
        Creates a NotNode using a logical NOT operator and the given child.
        Parameters:
        child - the child node under this branch node.
      • NotNode

        public NotNode()
        Creates an empty NotNode
    • Method Detail

      • addNode

        public void addNode​(ExprNode node)
        Adds a child node to this NOT node node
        Overrides:
        addNode in class BranchNode
        Parameters:
        node - the child expression to add to this NOT node
      • addNodeToHead

        public void addNodeToHead​(ExprNode node)
        Adds a child node to this NOT node at the head rather than the tail.
        Overrides:
        addNodeToHead in class BranchNode
        Parameters:
        node - the child expression to add to this branch node
      • setChildren

        public void setChildren​(List<ExprNode> childList)
        Sets the list of children under this node.
        Overrides:
        setChildren in class BranchNode
        Parameters:
        childList - the list of children to set.
      • 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.