Skip to content

Commit

Permalink
Formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
RipplB committed May 20, 2024
1 parent 5be9f68 commit 9882ee3
Showing 1 changed file with 6 additions and 6 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -32,12 +32,12 @@ import hu.bme.mit.theta.analysis.unit.UnitState

data class MultiBuilderResult
<
LState : State, RState : State, DataState : State, LBlank : State, RBlank : State,
LAction : Action, RAction : Action,
LPrec : Prec, RPrec : Prec, DataPrec : Prec, LBlankPrec : Prec, RBlankPrec : Prec,
MState : MultiState<LBlank, RBlank, DataState>, MBlankState : MultiState<LBlank, RBlank, UnitState>, MAction : MultiAction<LAction, RAction>,
MLts : MultiLts<LState, RState, DataState, LBlank, RBlank, LAction, RAction, MState, MAction>
>
LState : State, RState : State, DataState : State, LBlank : State, RBlank : State,
LAction : Action, RAction : Action,
LPrec : Prec, RPrec : Prec, DataPrec : Prec, LBlankPrec : Prec, RBlankPrec : Prec,
MState : MultiState<LBlank, RBlank, DataState>, MBlankState : MultiState<LBlank, RBlank, UnitState>, MAction : MultiAction<LAction, RAction>,
MLts : MultiLts<LState, RState, DataState, LBlank, RBlank, LAction, RAction, MState, MAction>
>
(
val side: MultiAnalysisSide<MState, DataState, MBlankState, MAction, MultiPrec<LPrec, RPrec, DataPrec>, MultiPrec<LBlankPrec, RBlankPrec, UnitPrec>>,
val lts: MLts
Expand Down

0 comments on commit 9882ee3

Please sign in to comment.