Package ghidra.app.plugin.assembler.sleigh.expr

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

Method Summary

Static Methods

Modifier and Type	Method	Description
static Set<SolverHint>	with(Set<SolverHint> set, SolverHint... plus)

Method Details

with

static Set<SolverHint> with(Set<SolverHint> set,
 SolverHint... plus)