Class SvaOperatorExpression

    • Constructor Detail

      • SvaOperatorExpression

        public SvaOperatorExpression()
        Creates a new operator-based expression.
      • SvaOperatorExpression

        protected SvaOperatorExpression​(SvaOperatorExpression other)
        Creates a new operator-based expression using the other.
        Parameters:
        other - - the specified expression to copy.
    • Method Detail

      • getOperator

        public SvaTemporalOperations getOperator()
        Returns the expression's operator.
        Returns:
        the operator.
      • setOperator

        public void setOperator​(SvaTemporalOperations operator)
        Sets the expression's operator.
        Parameters:
        operator - - the specified operator.
      • addOperand

        public void addOperand​(VerilogExpression operand)
        Adds an operand to the expression.
        Parameters:
        operand - - the specified operand.
      • getOperand

        public VerilogExpression getOperand​(int index)
        Returns the operand by index.
        Parameters:
        index - - the specified operand's index.
        Returns:
        the operand.
      • getOperands

        public java.util.List<VerilogExpression> getOperands()
        Returns the operands of the expression.
        Returns:
        the list of operands.