pAU

infix fun Formula.pAU(reach: Formula): Until

Create an all until formula over past paths without direction restriction.

fun Formula.pAU(reach: Formula, dir: DirFormula = DirFormula.True): Until

Create an all until formula over past paths with optional direction restriction.