示例#1
0
# found in the LICENSE file.

from core import suit
from z3b import enum
from z3b.constraints import *
from z3b.model import *
from z3b.preconditions import *
from z3b.rule_compiler import Rule, rule_order, categories
from core.call import Call


def copy_dict(d, keys):
    return {key: d.get(key) for key in keys}


natural = enum.Enum(*Call.suited_names())
notrump_without_stoppers = enum.Enum(*Call.notrump_names())
notrump_with_stoppers = enum.Enum(*Call.notrump_names())


natural_slams = rule_order.order(
    notrump_without_stoppers.get('6N'), 

    natural.get('6C'),
    natural.get('6D'),
    natural.get('6H'),
    natural.get('6S'),

    notrump_with_stoppers.get('6N'), 
    notrump_without_stoppers.get('7N'),