Class AndNode

    • Constructor Detail

      • AndNode

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

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

        public AndNode()
        Creates an empty AndNode
    • 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.