Module: TestLogic

Extended by:
Predicate::LogicExtension
Includes:
Predicate::LogicInclusion
Included in:
TC_Predicate
Defined in:
lib/carat-dev/predicate/predicate_test.rb

Instance Method Summary collapse

Methods included from Predicate::LogicExtension

method_added, permutations

Methods included from Predicate::LogicInclusion

#predicate

Instance Method Details

#can_use(x, y) ⇒ Object 



23
24
25
 
# File 'lib/carat-dev/predicate/predicate_test.rb', line 23

def can_use(x, y)
  ( man(x) | woman(x) ) & tool(y)
end

#man(x) ⇒ Object 



10
11
 
# File 'lib/carat-dev/predicate/predicate_test.rb', line 10

def man(x)
end

#mortal(x) ⇒ Object 



19
20
21
 
# File 'lib/carat-dev/predicate/predicate_test.rb', line 19

def mortal(x)
  woman(x) | man(x)
end

#tool(x) ⇒ Object 



16
17
 
# File 'lib/carat-dev/predicate/predicate_test.rb', line 16

def tool(x)
end

#woman(x) ⇒ Object 



13
14
 
# File 'lib/carat-dev/predicate/predicate_test.rb', line 13

def woman(x)
end