Skip to main content
Helpful?

SqrtPriceMathEchidnaTest

Git Source | Generated with forge doc

Functions​

mulDivRoundingUpInvariants​

function mulDivRoundingUpInvariants(uint256 x, uint256 y, uint256 z) external pure;

getNextSqrtPriceFromInputInvariants​

function getNextSqrtPriceFromInputInvariants(uint160 sqrtP, uint128 liquidity, uint256 amountIn, bool zeroForOne)
    external
    pure;

getNextSqrtPriceFromOutputInvariants​

function getNextSqrtPriceFromOutputInvariants(uint160 sqrtP, uint128 liquidity, uint256 amountOut, bool zeroForOne)
    external
    pure;

getNextSqrtPriceFromAmount0RoundingUpInvariants​

function getNextSqrtPriceFromAmount0RoundingUpInvariants(uint160 sqrtPX96, uint128 liquidity, uint256 amount, bool add)
    external
    pure;

getNextSqrtPriceFromAmount1RoundingDownInvariants​

function getNextSqrtPriceFromAmount1RoundingDownInvariants(
    uint160 sqrtPX96,
    uint128 liquidity,
    uint256 amount,
    bool add
) external pure;

getAmount0DeltaInvariants​

function getAmount0DeltaInvariants(uint160 sqrtP, uint160 sqrtQ, uint128 liquidity) external pure;

getAmount0DeltaEquivalency​

function getAmount0DeltaEquivalency(uint160 sqrtP, uint160 sqrtQ, uint128 liquidity, bool roundUp) external pure;

getAmount1DeltaInvariants​

function getAmount1DeltaInvariants(uint160 sqrtP, uint160 sqrtQ, uint128 liquidity) external pure;

getAmount0DeltaSignedInvariants​

function getAmount0DeltaSignedInvariants(uint160 sqrtP, uint160 sqrtQ, int128 liquidity) external pure;

getAmount1DeltaSignedInvariants​

function getAmount1DeltaSignedInvariants(uint160 sqrtP, uint160 sqrtQ, int128 liquidity) external pure;

getOutOfRangeMintInvariants​

function getOutOfRangeMintInvariants(uint160 sqrtA, uint160 sqrtB, int128 liquidity) external pure;

getInRangeMintInvariants​

function getInRangeMintInvariants(uint160 sqrtLower, uint160 sqrtCurrent, uint160 sqrtUpper, int128 liquidity)
    external
    pure;
Helpful?