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:

Dependency

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

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