Sameside

class SameSide

Bases: Predicate

sameside a b c x y z

Represent that a is to the same side of b->c as x is to y->z.

Numerical only.

NAME: str = 'sameside'

classmethod preparse(args)

classmethod parse(args, dep_graph)

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:

Dependency

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str

class NSameSide

Bases: Predicate

nsameside a b c x y z

Represent that a is to the different side of b->c as x is to y->z.

Numerical only.

NAME: str = 'nsameside'

classmethod preparse(args)

classmethod parse(args, dep_graph)

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:

Dependency

classmethod pretty(statement)

Write the predicate in a natural language.

Return type:

str