Interface SolverHint

  • All Known Implementing Classes:
    DefaultSolverHint

    public interface SolverHint
    A type for solver hints Hints inform "sub-"solvers of the techniques already being applied by the calling solvers. This helps prevent situations where, e.g., two multiplication solvers (applied to repeated or nested multiplication) both attempt to synthesize new goals for repetition. This sort of expression is common when decoding immediates in the AArch64 specification. Using an interface implemented by an enumeration (instead of just using the enumeration directly) eases expansion by extension without modifying the core code.
    See Also:
    DefaultSolverHint