Class MmuSettingsUtils


  • public final class MmuSettingsUtils
    extends java.lang.Object
    MmuSettingsUtils implements utilities for handing MMU settings.
    • Method Detail

      • getVariableConstraints

        public static java.util.List<ru.ispras.fortress.expression.Node> getVariableConstraints()
      • getVariableConstraint

        public static ru.ispras.fortress.expression.Node getVariableConstraint​(IntegerValuesSettings settings)
        Returns the constraint corresponding to the values settings or null if no constraint is specified (the constraint is identical to TRUE).
        Parameters:
        settings - the values settings.
        Returns:
        the constraint or null.
      • getVariableConstraint

        public static ru.ispras.fortress.expression.Node getVariableConstraint​(BooleanValuesSettings settings)
        Returns the constraint corresponding to the values settings or null if no constraint is specified (the constraint is identical to TRUE).
        Parameters:
        settings - the values settings.
        Returns:
        the constraint or null.