Sameclock
- class SameClock
Bases:
Predicatesameclock a b c x y z -
-
NAME:
str= 'sameclock'
- 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 check(statement)
Hypothesis : the numercial test is passed
- 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.
- Return type:
- classmethod add(dep)
- classmethod pretty(statement)
Write the predicate in a natural language.
- Return type:
str
-
NAME: