//TODO: shouldn't this be in-fact an offline detector?
@Override
	public Set<OperatorSet> detectPropertyOnline(
			SearchState relevantState,
			SearchTree tree) {
		Set<OperatorSet> result =  new HashSet<OperatorSet>();
		//TODO: shouldn't this be in-fact an offline detector?
		relevantState = tree.getSentState(relevantState.iparentID);
		if(relevantState == null) return result;
		//TODO: optimize
		for(SearchState s1 : relevantState.successors){
			for(SearchState s2 : relevantState.successors){
				if(s1.stateID != s2.stateID){
					OperatorSet opSet = new OperatorSet(EnumPrivacyProperty.PRIVATELY_NONDETERMINISTIC,true);
					opSet.addAll(s1.responsibleOperators);
					opSet.retainAll(s2.responsibleOperators);
					if(!opSet.isEmpty()){
						result.add(opSet);
					}
				}
			}
		}
		return result;
	}
SearchTree tree) {
Set<OperatorSet> result = new HashSet<OperatorSet>();
//TODO: shouldn't this be in-fact an offline detector?
relevantState = tree.getSentState(relevantState.iparentID);
if(relevantState == null) return result;
@Override
public Set<OperatorSet> detectPropertyOnline(
SearchState relevantState,
SearchTree tree) {
Set<OperatorSet> result = new HashSet<OperatorSet>();
//TODO: shouldn't this be in-fact an offline detector?
relevantState = tree.getSentState(relevantState.iparentID);
if(relevantState == null) return result;
//TODO: optimize
for(SearchState s1 : relevantState.successors){
for(SearchState s2 : relevantState.successors){
if(s1.stateID != s2.stateID){
OperatorSet opSet = new OperatorSet(EnumPrivacyProperty.PRIVATELY_NONDETERMINISTIC,true);
opSet.addAll(s1.responsibleOperators);
opSet.retainAll(s2.responsibleOperators);
if(!opSet.isEmpty()){
@Override
public Set<OperatorSet> detectPropertyOnline(
SearchState relevantState,
SearchTree tree) {
Set<OperatorSet> result = new HashSet<OperatorSet>();
//TODO: shouldn't this be in-fact an offline detector?
relevantState = tree.getSentState(relevantState.iparentID);
if(relevantState == null) return result;
//TODO: optimize
for(SearchState s1 : relevantState.successors){
for(SearchState s2 : relevantState.successors){
if(s1.stateID != s2.stateID){
OperatorSet opSet = new OperatorSet(EnumPrivacyProperty.PRIVATELY_NONDETERMINISTIC,true);
opSet.addAll(s1.responsibleOperators);
opSet.retainAll(s2.responsibleOperators);
if(!opSet.isEmpty()){
result.add(opSet);
}
}
}
}
return result;
}