Module: PropLogic::Functions

Included in:
PropLogic
Defined in:
lib/prop_logic/functions.rb

Instance Method Summary collapse

Instance Method Details

#all_and(*args) ⇒ Object 



7
8
9
 
# File 'lib/prop_logic/functions.rb', line 7

def all_and(*args)
  Term.get AndTerm, *args
end

#all_or(*args) ⇒ Object 



3
4
5
 
# File 'lib/prop_logic/functions.rb', line 3

def all_or(*args)
  Term.get OrTerm, *args
end

#new_variable(*args) ⇒ Object 



11
12
13
 
# File 'lib/prop_logic/functions.rb', line 11

def new_variable(*args)
  Variable.new *args
end