Example #1
0
def falseDivider(length):
  return divider(colors.falseColor, 1, length, distances.unit_width,
      distances.capLengthOfDividerByLength(length))
Example #2
0
def trueDivider(length):
  return divider(colors.trueColor, 0, length, distances.unit_width,
      distances.capLengthOfDividerByLength(length))
Example #3
0
def orDivider(covariant):
  return (lambda length:
    divider(colors.orColor, _dimension_for_variance(covariant),
        length, distances.conjunctiveDividerWidth,
        distances.capLengthOfDividerByLength(length)))
Example #4
0
def quantifierDivider(covariant, length):
  return divider(colors.quantifierDividerColor, _dimension_for_variance(covariant),
      length, distances.quantifier_divider_width,
      distances.capLengthOfDividerByLength(length))
Example #5
0
def intersectDivider(covariant):
  return (lambda length:
    divider(colors.intersectColor, _dimension_for_variance(covariant),
        max(length, distances.min_intersect_divider_length),
        distances.conjunctiveDividerWidth,
        distances.capLengthOfDividerByLength(length)))