Constant Angle
- class ConstantAngle
Bases:
Predicate
aconst AB CD Y - Represent that the rotation needed to go from line AB to line CD, oriented on the clockwise direction is Y.
The syntax of Y is either a fraction of pi like 2pi/3 for radians or a number followed by a ‘o’ like 120o for degree.
-
NAME:
str
= 'aconst'
- classmethod preparse(args)
- Return type:
Optional
[tuple
[str
,...
]]
- classmethod parse(args, dep_graph)
- Return type:
Optional
[tuple
[Any
,...
]]
- classmethod check_numerical(statement)
- Return type:
bool
- classmethod add(dep)
- Return type:
None
- classmethod why(statement)
Hypothesis : the numercial test is passed This function should only be giving one same dependency, which is the implicit dependency used in the first check success.
- Return type:
- classmethod check(statement)
Hypothesis : the numercial test is passed
- Return type:
bool
- classmethod to_tokens(args)
- Return type:
tuple
[str
,...
]
- classmethod pretty(statement)
Write the predicate in a natural language.
- Return type:
str
-
NAME:
- class ACompute
Bases:
Predicate
acompute AB CD
-
NAME:
str
= 'acompute'
- classmethod preparse(args)
- Return type:
Optional
[tuple
[str
,...
]]
- classmethod parse(args, dep_graph)
- Return type:
Optional
[tuple
[Any
,...
]]
- classmethod check_numerical(statement)
- Return type:
bool
- classmethod why(statement)
Hypothesis : the numercial test is passed This function should only be giving one same dependency, which is the implicit dependency used in the first check success.
- classmethod check(statement)
Hypothesis : the numercial test is passed
- Return type:
bool
- classmethod pretty(statement)
Write the predicate in a natural language.
- Return type:
str
-
NAME: