Module: RDF::Enumerable

Included in:
N3::Algebra::Builtin, N3::Algebra::Formula, N3::Reasoner
Defined in:
lib/rdf/n3/extensions.rb

Instance Attribute Summary collapse

Instance Attribute Details

#existentials ⇒ Array<RDF::Query::Variable>

Existential quantifiers defined on this enumerable

Returns:



10
11
12
 
# File 'lib/rdf/n3/extensions.rb', line 10

def existentials
  @existentials
end

#universals ⇒ Array<RDF::Query::Variable>

Universal quantifiers defined on this enumerable

Returns:



14
15
16
 
# File 'lib/rdf/n3/extensions.rb', line 14

def universals
  @universals
end