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