[API] Add mode argument for `Solver::blockModel()` (#8521)
[cvc5.git] / .clang-format
1 ---
2 Language: Cpp
3 BasedOnStyle: Google
4 AllowShortCaseLabelsOnASingleLine: true
5 BinPackArguments: false
6 BinPackParameters: false
7 BreakBeforeBinaryOperators: NonAssignment
8 BraceWrapping:
9 AfterCaseLabel: true
10 AfterClass: true
11 AfterControlStatement: true
12 AfterEnum: true
13 AfterFunction: true
14 AfterStruct: true
15 AfterUnion: true
16 BeforeCatch: true
17 BeforeElse: true
18 BreakBeforeBraces: Custom
19 DerivePointerAlignment: false
20 ---
21 Language: Java
22 BasedOnStyle: Google
23 AllowShortCaseLabelsOnASingleLine: true
24 BinPackArguments: false
25 BinPackParameters: false
26 BreakBeforeBinaryOperators: NonAssignment
27 BreakAfterJavaFieldAnnotations: true
28 BraceWrapping:
29 AfterCaseLabel: true
30 AfterObjCDeclaration: true
31 AfterClass: true
32 AfterControlStatement: true
33 AfterEnum: true
34 AfterFunction: true
35 AfterStruct: true
36 AfterUnion: true
37 BeforeCatch: true
38 BeforeElse: true
39 BreakBeforeBraces: Custom
40 DerivePointerAlignment: false
41 ...