Skip to content

Commit ef9154a

Browse files
fern-api[bot]fern-api[bot]
committed
Release 0.0.90
1 parent 964c1f2 commit ef9154a

File tree

9 files changed

+46
-86
lines changed

9 files changed

+46
-86
lines changed

‎pyproject.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name = "axiomatic"
33

44
[tool.poetry]
55
name = "axiomatic"
6-
version = "0.0.89"
6+
version = "0.0.90"
77
description = ""
88
readme = "README.md"
99
authors = []

‎reference.md‎

Lines changed: 5 additions & 23 deletions
Original file line numberDiff line numberDiff line change
@@ -1887,20 +1887,14 @@ Validates a set of statements against a netlist.
18871887
<dd>
18881888

18891889
```python
1890-
from axiomatic import Axiomatic, Computation, Netlist, StatementDictionary
1890+
from axiomatic import Axiomatic, Netlist, StatementDictionary
18911891

18921892
client = Axiomatic(
18931893
api_key="YOUR_API_KEY",
18941894
)
18951895
client.pic.circuit.validate(
18961896
netlist=Netlist(),
18971897
statements=StatementDictionary(),
1898-
mapping={
1899-
"key": Computation(
1900-
name="name",
1901-
arguments={"key": True},
1902-
)
1903-
},
19041898
)
19051899

19061900
```
@@ -1933,7 +1927,7 @@ client.pic.circuit.validate(
19331927
<dl>
19341928
<dd>
19351929

1936-
**mapping:** `typing.Dict[str, Computation]`
1930+
**mapping:** `typing.Optional[typing.Dict[str, typing.Optional[Computation]]]`
19371931

19381932
</dd>
19391933
</dl>
@@ -2413,26 +2407,14 @@ Optimize a PIC circuit with given cost and constraints
24132407
<dd>
24142408

24152409
```python
2416-
from axiomatic import (
2417-
Axiomatic,
2418-
Computation,
2419-
Netlist,
2420-
Parameter,
2421-
StatementDictionary,
2422-
)
2410+
from axiomatic import Axiomatic, Netlist, Parameter, StatementDictionary
24232411

24242412
client = Axiomatic(
24252413
api_key="YOUR_API_KEY",
24262414
)
24272415
client.pic.circuit.optimize(
24282416
netlist=Netlist(),
24292417
statements=StatementDictionary(),
2430-
mapping={
2431-
"key": Computation(
2432-
name="name",
2433-
arguments={"key": True},
2434-
)
2435-
},
24362418
parameters=[
24372419
Parameter(
24382420
path="path",
@@ -2470,15 +2452,15 @@ client.pic.circuit.optimize(
24702452
<dl>
24712453
<dd>
24722454

2473-
**mapping:** `typing.Dict[str, Computation]`
2455+
**parameters:** `typing.Sequence[Parameter]`
24742456

24752457
</dd>
24762458
</dl>
24772459

24782460
<dl>
24792461
<dd>
24802462

2481-
**parameters:** `typing.Sequence[Parameter]`
2463+
**mapping:** `typing.Optional[typing.Dict[str, typing.Optional[Computation]]]`
24822464

24832465
</dd>
24842466
</dl>

‎src/axiomatic/__init__.py‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@
66
BundleSettingsValue,
77
Computation,
88
ComputationArgumentsValue,
9+
ContourCv2,
910
CostFunction,
1011
CreateApiKeyResponse,
1112
CreateApiKeyrequest,
@@ -110,6 +111,7 @@
110111
"BundleSettingsValue",
111112
"Computation",
112113
"ComputationArgumentsValue",
114+
"ContourCv2",
113115
"CostFunction",
114116
"CreateApiKeyResponse",
115117
"CreateApiKeyrequest",

‎src/axiomatic/core/client_wrapper.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@ def get_headers(self) -> typing.Dict[str, str]:
1616
headers: typing.Dict[str, str] = {
1717
"X-Fern-Language": "Python",
1818
"X-Fern-SDK-Name": "axiomatic",
19-
"X-Fern-SDK-Version": "0.0.89",
19+
"X-Fern-SDK-Version": "0.0.90",
2020
}
2121
headers["X-API-Key"] = self.api_key
2222
return headers

‎src/axiomatic/pic/circuit/client.py‎

Lines changed: 22 additions & 58 deletions
Original file line numberDiff line numberDiff line change
@@ -116,7 +116,7 @@ def validate(
116116
*,
117117
netlist: Netlist,
118118
statements: StatementDictionary,
119-
mapping: typing.Dict[str, Computation],
119+
mapping: typing.Optional[typing.Dict[str, typing.Optional[Computation]]] = OMIT,
120120
request_options: typing.Optional[RequestOptions] = None,
121121
) -> ValidateNetlistResponse:
122122
"""
@@ -128,7 +128,7 @@ def validate(
128128
129129
statements : StatementDictionary
130130
131-
mapping : typing.Dict[str, Computation]
131+
mapping : typing.Optional[typing.Dict[str, typing.Optional[Computation]]]
132132
133133
request_options : typing.Optional[RequestOptions]
134134
Request-specific configuration.
@@ -140,20 +140,14 @@ def validate(
140140
141141
Examples
142142
--------
143-
from axiomatic import Axiomatic, Computation, Netlist, StatementDictionary
143+
from axiomatic import Axiomatic, Netlist, StatementDictionary
144144
145145
client = Axiomatic(
146146
api_key="YOUR_API_KEY",
147147
)
148148
client.pic.circuit.validate(
149149
netlist=Netlist(),
150150
statements=StatementDictionary(),
151-
mapping={
152-
"key": Computation(
153-
name="name",
154-
arguments={"key": True},
155-
)
156-
},
157151
)
158152
"""
159153
_response = self._client_wrapper.httpx_client.request(
@@ -167,7 +161,7 @@ def validate(
167161
object_=statements, annotation=StatementDictionary, direction="write"
168162
),
169163
"mapping": convert_and_respect_annotation_metadata(
170-
object_=mapping, annotation=typing.Dict[str, Computation], direction="write"
164+
object_=mapping, annotation=typing.Dict[str, typing.Optional[Computation]], direction="write"
171165
),
172166
},
173167
headers={
@@ -593,8 +587,8 @@ def optimize(
593587
*,
594588
netlist: Netlist,
595589
statements: StatementDictionary,
596-
mapping: typing.Dict[str, Computation],
597590
parameters: typing.Sequence[Parameter],
591+
mapping: typing.Optional[typing.Dict[str, typing.Optional[Computation]]] = OMIT,
598592
config: typing.Optional[OptimizeConfig] = OMIT,
599593
request_options: typing.Optional[RequestOptions] = None,
600594
) -> OptimizeNetlistResponse:
@@ -607,10 +601,10 @@ def optimize(
607601
608602
statements : StatementDictionary
609603
610-
mapping : typing.Dict[str, Computation]
611-
612604
parameters : typing.Sequence[Parameter]
613605
606+
mapping : typing.Optional[typing.Dict[str, typing.Optional[Computation]]]
607+
614608
config : typing.Optional[OptimizeConfig]
615609
616610
request_options : typing.Optional[RequestOptions]
@@ -623,26 +617,14 @@ def optimize(
623617
624618
Examples
625619
--------
626-
from axiomatic import (
627-
Axiomatic,
628-
Computation,
629-
Netlist,
630-
Parameter,
631-
StatementDictionary,
632-
)
620+
from axiomatic import Axiomatic, Netlist, Parameter, StatementDictionary
633621
634622
client = Axiomatic(
635623
api_key="YOUR_API_KEY",
636624
)
637625
client.pic.circuit.optimize(
638626
netlist=Netlist(),
639627
statements=StatementDictionary(),
640-
mapping={
641-
"key": Computation(
642-
name="name",
643-
arguments={"key": True},
644-
)
645-
},
646628
parameters=[
647629
Parameter(
648630
path="path",
@@ -660,12 +642,12 @@ def optimize(
660642
"statements": convert_and_respect_annotation_metadata(
661643
object_=statements, annotation=StatementDictionary, direction="write"
662644
),
663-
"mapping": convert_and_respect_annotation_metadata(
664-
object_=mapping, annotation=typing.Dict[str, Computation], direction="write"
665-
),
666645
"parameters": convert_and_respect_annotation_metadata(
667646
object_=parameters, annotation=typing.Sequence[Parameter], direction="write"
668647
),
648+
"mapping": convert_and_respect_annotation_metadata(
649+
object_=mapping, annotation=typing.Dict[str, typing.Optional[Computation]], direction="write"
650+
),
669651
"config": convert_and_respect_annotation_metadata(
670652
object_=config, annotation=OptimizeConfig, direction="write"
671653
),
@@ -1086,7 +1068,7 @@ async def validate(
10861068
*,
10871069
netlist: Netlist,
10881070
statements: StatementDictionary,
1089-
mapping: typing.Dict[str, Computation],
1071+
mapping: typing.Optional[typing.Dict[str, typing.Optional[Computation]]] = OMIT,
10901072
request_options: typing.Optional[RequestOptions] = None,
10911073
) -> ValidateNetlistResponse:
10921074
"""
@@ -1098,7 +1080,7 @@ async def validate(
10981080
10991081
statements : StatementDictionary
11001082
1101-
mapping : typing.Dict[str, Computation]
1083+
mapping : typing.Optional[typing.Dict[str, typing.Optional[Computation]]]
11021084
11031085
request_options : typing.Optional[RequestOptions]
11041086
Request-specific configuration.
@@ -1112,7 +1094,7 @@ async def validate(
11121094
--------
11131095
import asyncio
11141096
1115-
from axiomatic import AsyncAxiomatic, Computation, Netlist, StatementDictionary
1097+
from axiomatic import AsyncAxiomatic, Netlist, StatementDictionary
11161098
11171099
client = AsyncAxiomatic(
11181100
api_key="YOUR_API_KEY",
@@ -1123,12 +1105,6 @@ async def main() -> None:
11231105
await client.pic.circuit.validate(
11241106
netlist=Netlist(),
11251107
statements=StatementDictionary(),
1126-
mapping={
1127-
"key": Computation(
1128-
name="name",
1129-
arguments={"key": True},
1130-
)
1131-
},
11321108
)
11331109
11341110
@@ -1145,7 +1121,7 @@ async def main() -> None:
11451121
object_=statements, annotation=StatementDictionary, direction="write"
11461122
),
11471123
"mapping": convert_and_respect_annotation_metadata(
1148-
object_=mapping, annotation=typing.Dict[str, Computation], direction="write"
1124+
object_=mapping, annotation=typing.Dict[str, typing.Optional[Computation]], direction="write"
11491125
),
11501126
},
11511127
headers={
@@ -1611,8 +1587,8 @@ async def optimize(
16111587
*,
16121588
netlist: Netlist,
16131589
statements: StatementDictionary,
1614-
mapping: typing.Dict[str, Computation],
16151590
parameters: typing.Sequence[Parameter],
1591+
mapping: typing.Optional[typing.Dict[str, typing.Optional[Computation]]] = OMIT,
16161592
config: typing.Optional[OptimizeConfig] = OMIT,
16171593
request_options: typing.Optional[RequestOptions] = None,
16181594
) -> OptimizeNetlistResponse:
@@ -1625,10 +1601,10 @@ async def optimize(
16251601
16261602
statements : StatementDictionary
16271603
1628-
mapping : typing.Dict[str, Computation]
1629-
16301604
parameters : typing.Sequence[Parameter]
16311605
1606+
mapping : typing.Optional[typing.Dict[str, typing.Optional[Computation]]]
1607+
16321608
config : typing.Optional[OptimizeConfig]
16331609
16341610
request_options : typing.Optional[RequestOptions]
@@ -1643,13 +1619,7 @@ async def optimize(
16431619
--------
16441620
import asyncio
16451621
1646-
from axiomatic import (
1647-
AsyncAxiomatic,
1648-
Computation,
1649-
Netlist,
1650-
Parameter,
1651-
StatementDictionary,
1652-
)
1622+
from axiomatic import AsyncAxiomatic, Netlist, Parameter, StatementDictionary
16531623
16541624
client = AsyncAxiomatic(
16551625
api_key="YOUR_API_KEY",
@@ -1660,12 +1630,6 @@ async def main() -> None:
16601630
await client.pic.circuit.optimize(
16611631
netlist=Netlist(),
16621632
statements=StatementDictionary(),
1663-
mapping={
1664-
"key": Computation(
1665-
name="name",
1666-
arguments={"key": True},
1667-
)
1668-
},
16691633
parameters=[
16701634
Parameter(
16711635
path="path",
@@ -1686,12 +1650,12 @@ async def main() -> None:
16861650
"statements": convert_and_respect_annotation_metadata(
16871651
object_=statements, annotation=StatementDictionary, direction="write"
16881652
),
1689-
"mapping": convert_and_respect_annotation_metadata(
1690-
object_=mapping, annotation=typing.Dict[str, Computation], direction="write"
1691-
),
16921653
"parameters": convert_and_respect_annotation_metadata(
16931654
object_=parameters, annotation=typing.Sequence[Parameter], direction="write"
16941655
),
1656+
"mapping": convert_and_respect_annotation_metadata(
1657+
object_=mapping, annotation=typing.Dict[str, typing.Optional[Computation]], direction="write"
1658+
),
16951659
"config": convert_and_respect_annotation_metadata(
16961660
object_=config, annotation=OptimizeConfig, direction="write"
16971661
),

‎src/axiomatic/types/__init__.py‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,7 @@
55
from .bundle_settings_value import BundleSettingsValue
66
from .computation import Computation
77
from .computation_arguments_value import ComputationArgumentsValue
8+
from .contour_cv_2 import ContourCv2
89
from .cost_function import CostFunction
910
from .create_api_key_response import CreateApiKeyResponse
1011
from .create_api_keyrequest import CreateApiKeyrequest
@@ -87,6 +88,7 @@
8788
"BundleSettingsValue",
8889
"Computation",
8990
"ComputationArgumentsValue",
91+
"ContourCv2",
9092
"CostFunction",
9193
"CreateApiKeyResponse",
9294
"CreateApiKeyrequest",

‎src/axiomatic/types/axes_info.py‎

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22

33
from ..core.pydantic_utilities import UniversalBaseModel
44
import typing
5+
from .contour_cv_2 import ContourCv2
56
from ..core.pydantic_utilities import IS_PYDANTIC_V2
67
import pydantic
78

@@ -16,8 +17,12 @@ class AxesInfo(UniversalBaseModel):
1617
y_axis_len: typing.Optional[float] = None
1718
x_contour: typing.Optional[typing.List[typing.List[float]]] = None
1819
y_contour: typing.Optional[typing.List[typing.List[float]]] = None
19-
x_ticks: typing.Optional[typing.List[typing.List[typing.List[int]]]] = None
20-
y_ticks: typing.Optional[typing.List[typing.List[typing.List[int]]]] = None
20+
x_tick_marks: typing.Optional[typing.List[ContourCv2]] = None
21+
y_tick_marks: typing.Optional[typing.List[ContourCv2]] = None
22+
x_tick_vals: typing.Optional[typing.List[typing.List[typing.Optional[typing.Any]]]] = None
23+
y_tick_vals: typing.Optional[typing.List[typing.List[typing.Optional[typing.Any]]]] = None
24+
x_tick_mapping: typing.Optional[typing.Dict[str, typing.Optional[ContourCv2]]] = None
25+
y_tick_mapping: typing.Optional[typing.Dict[str, typing.Optional[ContourCv2]]] = None
2126

2227
if IS_PYDANTIC_V2:
2328
model_config: typing.ClassVar[pydantic.ConfigDict] = pydantic.ConfigDict(extra="allow", frozen=True) # type: ignore # Pydantic v2

‎src/axiomatic/types/contour_cv_2.py‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
# This file was auto-generated by Fern from our API Definition.
2+
3+
import typing
4+
5+
ContourCv2 = typing.List[typing.List[int]]

‎src/axiomatic/types/statement_validation.py‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88

99
class StatementValidation(UniversalBaseModel):
1010
"""
11-
The status of a statement.
11+
The validation status of a statement.
1212
"""
1313

1414
satisfiable: typing.Optional[bool] = pydantic.Field(default=None)

0 commit comments

Comments
 (0)