FixstarsClient¶
- class FixstarsClient¶
Methods
Attributes
acceptable_degrees property
compression property
parameters property
proxy property
token property
url property
version property
write_request_data property
write_response_data property
- class Result¶
-
- __init__(*args, **kwargs)¶
- property execution_parameters¶
execution_parameters property
- 戻り値の型:
- property execution_time¶
execution_time property
- 戻り値の型:
- __init__(self) None ¶
- __init__(self, token: str = '', url: str = '', proxy: str | None = None) None
__init__
- solve(self, objective: Poly | Matrix, dry_run: Literal[False] = False) Result ¶
- solve(
- self,
- constraint: Constraint | ConstraintList,
- dry_run: Literal[False] = False,
- solve(
- self,
- objective: Poly | Matrix,
- constraint: Constraint | ConstraintList,
- dry_run: Literal[False] = False,
- solve(self, objective: Poly | Matrix, dry_run: Literal[True]) None
- solve(self, constraint: Constraint | ConstraintList, dry_run: Literal[True]) None
- solve(
- self,
- objective: Poly | Matrix,
- constraint: Constraint | ConstraintList,
- dry_run: Literal[True],
solve
- Overloading:
1. solve(self, objective: Union[amplify.Poly, amplify.Matrix], dry_run: Literal[False] = False) -> amplify.FixstarsClient.Result
- Args:
objective (amplify.Poly | amplify.Matrix):
dry_run (Literal[False]): Defaults to
False
.
- Returns:
amplify.FixstarsClient.Result:
2. solve(self, constraint: Union[amplify.Constraint, amplify.ConstraintList], dry_run: Literal[False] = False) -> amplify.FixstarsClient.Result
- Args:
constraint (amplify.Constraint | amplify.ConstraintList):
dry_run (Literal[False]): Defaults to
False
.
- Returns:
amplify.FixstarsClient.Result:
3. solve(self, objective: Union[amplify.Poly, amplify.Matrix], constraint: Union[amplify.Constraint, amplify.ConstraintList], dry_run: Literal[False] = False) -> amplify.FixstarsClient.Result
- Args:
objective (amplify.Poly | amplify.Matrix):
constraint (amplify.Constraint | amplify.ConstraintList):
dry_run (Literal[False]): Defaults to
False
.
- Returns:
amplify.FixstarsClient.Result:
4. solve(self, objective: Union[amplify.Poly, amplify.Matrix], dry_run: Literal[True]) -> None
- Args:
objective (amplify.Poly | amplify.Matrix):
dry_run (Literal[True]):
5. solve(self, constraint: Union[amplify.Constraint, amplify.ConstraintList], dry_run: Literal[True]) -> None
- Args:
constraint (amplify.Constraint | amplify.ConstraintList):
dry_run (Literal[True]):
6. solve(self, objective: Union[amplify.Poly, amplify.Matrix], constraint: Union[amplify.Constraint, amplify.ConstraintList], dry_run: Literal[True]) -> None
- Args:
objective (amplify.Poly | amplify.Matrix):
constraint (amplify.Constraint | amplify.ConstraintList):
dry_run (Literal[True]):
- property acceptable_degrees¶
acceptable_degrees property
- 戻り値の型:
- property parameters¶
parameters property
- 戻り値の型: