コード例 #1
0
ファイル: todo.py プロジェクト: AndreaCensi/mcdp 
def check_nat_power():
    eval_rvalue_as_constant_same_exactly('3 ^ 2', 'Nat: 9')
コード例 #2
0
def check_nat_power_frac():
    eval_rvalue_as_constant_same_exactly('9 ^ (1/2)', 'Rcomp: 3.0')
コード例 #3
0
ファイル: todo.py プロジェクト: AndreaCensi/mcdp 
def check_nat_power_frac():
    eval_rvalue_as_constant_same_exactly('9 ^ (1/2)', 'Rcomp: 3.0')
コード例 #4
0
ファイル: syntax_math.py プロジェクト: rusi/mcdp 
def check_mult_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 * 2', 'Nat: 6')
    eval_rvalue_as_constant_same_exactly('3 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0', 'Rcomp: 30.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0 * 1 g', '30 g')
コード例 #5
0
def check_nat_power():
    eval_rvalue_as_constant_same_exactly('3 ^ 2', 'Nat: 9')
コード例 #6
0
ファイル: syntax_math.py プロジェクト: rusi/mcdp 
def check_add_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 + 2', 'Nat: 5')
    eval_rvalue_as_constant_same_exactly('3 + 2.0', 'Rcomp: 5.0')
コード例 #7
0
ファイル: syntax_math.py プロジェクト: rusi/mcdp 
def check_mult_mixed1():
    eval_rvalue_as_constant_same_exactly('Nat:3 * Nat:2', 'Nat:6')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 []', '30 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 kg', '30 kg')
コード例 #8
0
ファイル: syntax_math.py プロジェクト: AndreaCensi/mcdp 
def check_mult_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 * 2', 'Nat: 6')
    eval_rvalue_as_constant_same_exactly('3 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0', 'Rcomp: 30.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0 * 1 g', '30 g')
コード例 #9
0
ファイル: syntax_math.py プロジェクト: AndreaCensi/mcdp 
def check_add_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 + 2', 'Nat: 5')
    eval_rvalue_as_constant_same_exactly('3 + 2.0', 'Rcomp: 5.0')
コード例 #10
0
ファイル: syntax_math.py プロジェクト: AndreaCensi/mcdp 
def check_mult_mixed1():
    eval_rvalue_as_constant_same_exactly('Nat:3 * Nat:2', 'Nat:6')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 []', '30 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 kg', '30 kg')