Class MmuOperation


  • public final class MmuOperation
    extends java.lang.Object
    • Method Detail

      • getName

        public java.lang.String getName()
      • getAssignments

        public java.util.Map<ru.ispras.fortress.expression.Node,​MmuBinding> getAssignments()
      • toString

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