Class SvaDelayedExpression

    • Constructor Detail

      • SvaDelayedExpression

        public SvaDelayedExpression()
        Creates a new expression.
    • Method Detail

      • addElement

        public void addElement​(SvaRange delay,
                               VerilogExpression sequence)
        Adds a delay-expression pair to the sequence.
        Parameters:
        delay - - the specified delay range.
        sequence - - the specified expression.
      • getElements

        public java.util.List<ru.ispras.fortress.util.Pair<SvaRange,​VerilogExpression>> getElements()
        Returns the elements of the sequence expression.
        Returns:
        the list of delay-expression pairs.
      • computeNode

        public void computeNode()
        Computes the node representation of the sequence.