/* (non-Javadoc) * @see edu.cmu.cs.plural.linear.DisjunctiveVisitor#alt(edu.cmu.cs.plural.linear.ContextChoiceLE) */ @Override public Boolean choice(ContextChoiceLE le) { for (LinearContext e : le.getElements()) if (!e.dispatch(this)) return false; return true; }