Class AccessConstraints


  • public final class AccessConstraints
    extends java.lang.Object
    The AccessConstraints class holds constraints related to memory accesses.

    There are two categories of constraints: (1) constraints on variable values and (2) constraints on memory access events. Each is stored in a separate collection.

    • Method Detail

      • isEmpty

        public boolean isEmpty()
      • getVariableConstraints

        public java.util.Collection<VariableConstraint> getVariableConstraints()
      • getBufferEventConstraints

        public java.util.Collection<BufferEventConstraint> getBufferEventConstraints()
      • getGeneralConstraints

        public java.util.Collection<ru.ispras.fortress.expression.Node> getGeneralConstraints()
      • getVariateConstraints

        public java.util.Collection<ru.ispras.fortress.expression.Node> getVariateConstraints()
      • randomize

        public void randomize()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object