}
});
if (onlyUsePositives)
{
pta.paths.augmentPTA(generator.getAllSequences(0).filter(new FilterPredicate() {
@Override
public boolean shouldBeReturned(Object name) {
return ((statechum.analysis.learning.rpnicore.RandomPathGenerator.StateName)name).accept;
}
}));
}
else
pta.paths.augmentPTA(generator.getAllSequences(0));
List<List<Label>> sPlus = generator.getAllSequences(0).getData(new FilterPredicate() {
@Override
public boolean shouldBeReturned(Object name) {
return ((statechum.analysis.learning.rpnicore.RandomPathGenerator.StateName)name).accept;
}
});
List<List<Label>> sMinus= generator.getAllSequences(0).getData(new FilterPredicate() {
@Override
public boolean shouldBeReturned(Object name) {
return !((statechum.analysis.learning.rpnicore.RandomPathGenerator.StateName)name).accept;
}
});