public void getSubjects(ATermAppl p, ATermAppl o, CandidateSet<ATermAppl> candidates) { Iterator<ATermAppl> i = candidates.iterator(); while( i.hasNext() ) { ATermAppl s = i.next(); Bool hasObviousValue = hasObviousPropertyValue( s, p, o ); candidates.update( s, hasObviousValue ); } }
public void getSubjects(ATermAppl p, ATermAppl o, CandidateSet<ATermAppl> candidates) { Iterator<ATermAppl> i = candidates.iterator(); while( i.hasNext() ) { ATermAppl s = i.next(); Bool hasObviousValue = hasObviousPropertyValue( s, p, o ); candidates.update( s, hasObviousValue ); } }
public void getObviousSubjects(ATermAppl p, ATermAppl o, CandidateSet<ATermAppl> candidates) { Iterator<ATermAppl> i = candidates.iterator(); while( i.hasNext() ) { ATermAppl s = i.next(); Bool hasObviousValue = hasObviousPropertyValue( s, p, o ); if( hasObviousValue.isFalse() ) { i.remove(); } else { candidates.update( s, hasObviousValue ); } } }
public void getObviousSubjects(ATermAppl p, ATermAppl o, CandidateSet<ATermAppl> candidates) { Iterator<ATermAppl> i = candidates.iterator(); while( i.hasNext() ) { ATermAppl s = i.next(); Bool hasObviousValue = hasObviousPropertyValue( s, p, o ); if( hasObviousValue.isFalse() ) { i.remove(); } else { candidates.update( s, hasObviousValue ); } } }
public void getObviousObjects(ATermAppl p, CandidateSet<ATermAppl> candidates) { p = getRole( p ).getInverse().getName(); Iterator<ATermAppl> i = candidates.iterator(); while( i.hasNext() ) { ATermAppl s = i.next(); Bool hasObviousValue = hasObviousObjectPropertyValue( s, p, null ); candidates.update( s, hasObviousValue ); } }
public void getObviousObjects(ATermAppl p, CandidateSet<ATermAppl> candidates) { p = getRole( p ).getInverse().getName(); Iterator<ATermAppl> i = candidates.iterator(); while( i.hasNext() ) { ATermAppl s = i.next(); Bool hasObviousValue = hasObviousObjectPropertyValue( s, p, null ); candidates.update( s, hasObviousValue ); } }