List of outcome() Examples

Examples of outcome()

kodkod.engine.Solution.outcome()
Returns the outcome of the attempt to find a model for this.formula. If the outcome is SATISFIABLE or TRIVIALLY_SATISFIABLE, a satisfying instance can be obtained by calling {@link #instance()}. If the formula is UNSATISFIABLE, a proof of unsatisfiability can be obtained by calling {@link #proof()} provided thattranslation logging was enabled and the unsatisfiability was determined using a core extracting {@link kodkod.engine.satlab.SATSolver sat solver}. Lastly, if the returned Outcome is or TRIVIALLY_UNSATISFIABLE, a proof of unsatisfiability can be obtained by calling {@link #proof()} provided thattranslation logging was enabled. @return an Outcome instance designating the satisfiability of this.formula with respect to this.bounds
org.conventionsframework.qualifier.BeanState.outcome()
org.jboss.seam.annotations.IfInvalid.outcome()

Examples of kodkod.engine.Solution.outcome()

        // If unsatisfiable, then retreive the unsat core if desired
        if (inst==null && solver.options().solver()==SATFactory.MiniSatProver) {
           try {
              lCore = new LinkedHashSet<Node>();
              Proof p = sol.proof();
              if (sol.outcome()==UNSATISFIABLE) {
                 // only perform the minimization if it was UNSATISFIABLE, rather than TRIVIALLY_UNSATISFIABLE
                 int i = p.highLevelCore().size();
                 rep.minimizing(cmd, i);
                 if (opt.coreMinimization==0) try { p.minimize(new RCEStrategy(p.log())); } catch(Throwable ex) {}
                 if (opt.coreMinimization==1) try { p.minimize(new HybridStrategy(p.log())); } catch(Throwable ex) {}

View Full Code Here

Examples of kodkod.engine.Solution.outcome()

              solver.options().setSolver(SATFactory.DefaultSAT4J);
              sol = solver.solve(f,b);
          } finally {
              solver.options().setSolver(sat);
          }
          if (sol==null || (sol.outcome()!=SATISFIABLE && sol.outcome()!=TRIVIALLY_SATISFIABLE)) return null;
          if (rep!=null) rep.debug("Comment: "+t[0]+"\n");
          return sol;
       } catch(Throwable ex) {
          return null;
       }

View Full Code Here

Examples of kodkod.engine.Solution.outcome()

              solver.options().setSolver(SATFactory.DefaultSAT4J);
              sol = solver.solve(f,b);
          } finally {
              solver.options().setSolver(sat);
          }
          if (sol==null || (sol.outcome()!=SATISFIABLE && sol.outcome()!=TRIVIALLY_SATISFIABLE)) return null;
          if (rep!=null) rep.debug("Comment: "+t[0]+"\n");
          return sol;
       } catch(Throwable ex) {
          return null;
       }

View Full Code Here

Examples of org.conventionsframework.qualifier.BeanState.outcome()

            return;
        } else {//only a state annotation is present
            BeanState beanState = AnnotationUtils.findStateAnnotation(getClass());
            if (beanState != null) {
                if (beanState.beanState().equals(this.getBeanState().getStateName())) {
                    statePushEvent.fire(new StatePushEvent(new StateItem(beanState.outcome(), getEntity(), getBeanState(), beanState.value(), beanState.title(), this.getClass(), beanState.ajax(), beanState.callback(), beanState.update(),beanState.global(),beanState.resetValues(),beanState.immediate(),beanState.oncomplete(),beanState.addEntityIdParam())));
                }
            }
        }
    }

View Full Code Here

Examples of org.conventionsframework.qualifier.BeanState.outcome()


            } else {//only a state annotation is present
                BeanState state = AnnotationUtils.findStateAnnotation(getClass());
                if (states != null) {
                    if (state.beanState().equals(this.getBeanState().getStateName())) {
                        statePushEvent.fire(new StatePushEvent(new StateItem(state.outcome(), getEntity(), getBeanState(), state.value(), state.title(), this.getClass(), state.ajax(), state.callback(), state.update(),state.global(),state.resetValues(),state.immediate(),state.oncomplete(),state.addEntityIdParam())));
                    }
                }
            }
        }
    }

View Full Code Here

Examples of org.jboss.seam.annotations.IfInvalid.outcome()

               {
                  refreshInvalidEntity( ifInvalid, iv.getBean() );
               }
               FacesMessages.instance().addToControl(iv);
            }
            String outcome = ifInvalid.outcome();
            return Outcome.REDISPLAY.equals(outcome) ? null : outcome;
         }
      }
      else
      {

View Full Code Here

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.