class Logica::Predicates::Negation
Attributes
predicate[R]
Public Class Methods
new(predicate)
click to toggle source
# File lib/logica/predicates/negation.rb, line 6 def initialize(predicate) @predicate = predicate end
Public Instance Methods
arity()
click to toggle source
# File lib/logica/predicates/negation.rb, line 30 def arity predicate.arity end
disjoint_with_other?(other)
click to toggle source
# File lib/logica/predicates/negation.rb, line 26 def disjoint_with_other?(other) predicate.generalization_of?(other) end
generalization_of_negation_of?(other)
click to toggle source
# File lib/logica/predicates/negation.rb, line 22 def generalization_of_negation_of?(other) predicate.specialization_of?(other) end
name_and_attributes()
click to toggle source
# File lib/logica/predicates/negation.rb, line 34 def name_and_attributes "#{name}(#{predicate.name_and_attributes})" end
negated()
click to toggle source
# File lib/logica/predicates/negation.rb, line 14 def negated predicate end
satisfied_by?(*arguments)
click to toggle source
# File lib/logica/predicates/negation.rb, line 10 def satisfied_by?(*arguments) predicate.unsatisfied_by?(*arguments) end
specialization_of?(other)
click to toggle source
# File lib/logica/predicates/negation.rb, line 18 def specialization_of?(other) other.generalization_of_negation_of?(predicate) end
Private Instance Methods
name()
click to toggle source
# File lib/logica/predicates/negation.rb, line 40 def name 'NOT' end