コード例 #1
0
ファイル: functions.py プロジェクト: cprudhom/pycsp3 
def imply(*args):
    return Node.build(TypeNode.IMP, *args)
コード例 #2
0
ファイル: functions.py プロジェクト: cprudhom/pycsp3 
def iff(*args):
    return Node.build(TypeNode.IFF, *args)
コード例 #3
0
ファイル: functions.py プロジェクト: cprudhom/pycsp3 
def xor(*args):
    return Node.build(TypeNode.XOR, *args) if len(args) > 1 else args[0]
コード例 #4
0
ファイル: functions.py プロジェクト: cprudhom/pycsp3 
def dist(*args):
    return Node.build(TypeNode.DIST, *args)
コード例 #5
0
ファイル: functions.py プロジェクト: cprudhom/pycsp3 
def max(*args):
    return Node.build(TypeNode.MAX, *args) if len(args) > 0 and any(isinstance(a, (Node, Variable)) for a in args) else maxPython(*args)
コード例 #6
0
ファイル: functions.py プロジェクト: cprudhom/pycsp3 
def abs(*args):
    if len(args) == 1 and isinstance(args[0], Node) and args[0].type == TypeNode.SUB:
        return Node.build(TypeNode.DIST, *args[0].sons)
    return Node.build(TypeNode.ABS, *args) if len(args) == 1 and isinstance(args[0], (Node, Variable)) else absPython(*args)