Package kodkod.engine.bool

Examples of kodkod.engine.bool.BooleanAccumulator.op()

308
309
310
311
312
313
314
315
316
317
318
    if (options.logTranslation()>0) {
      final TranslationLogger logger = options.logTranslation()==1 ? new MemoryLogger(annotated, bounds) : new FileLogger(annotated, bounds);
      final BooleanAccumulator circuit = FOL2BoolTranslator.translate(annotated, interpreter, logger);
      log = logger.log();
      if (circuit.isShortCircuited()) {
        throw new TrivialFormulaException(annotated.node(), bounds, circuit.op().shortCircuit(), log);
      } else if (circuit.size()==0) {
        throw new TrivialFormulaException(annotated.node(), bounds, circuit.op().identity(), log);
      }
      return generateSBP(circuit, interpreter, breaker);
    } else {
View Full Code Here
310
311
312
313
314
315
316
317
318
319
320
      final BooleanAccumulator circuit = FOL2BoolTranslator.translate(annotated, interpreter, logger);
      log = logger.log();
      if (circuit.isShortCircuited()) {
        throw new TrivialFormulaException(annotated.node(), bounds, circuit.op().shortCircuit(), log);
      } else if (circuit.size()==0) {
        throw new TrivialFormulaException(annotated.node(), bounds, circuit.op().identity(), log);
      }
      return generateSBP(circuit, interpreter, breaker);
    } else {
      final BooleanValue circuit = (BooleanValue)FOL2BoolTranslator.translate(annotated, interpreter);
      if (circuit.op()==Operator.CONST) {
View Full Code Here
315
316
317
318
319
320
321
322
323
324
325
        throw new TrivialFormulaException(annotated.node(), bounds, circuit.op().identity(), log);
      }
      return generateSBP(circuit, interpreter, breaker);
    } else {
      final BooleanValue circuit = (BooleanValue)FOL2BoolTranslator.translate(annotated, interpreter);
      if (circuit.op()==Operator.CONST) {
        throw new TrivialFormulaException(annotated.node(), bounds, (BooleanConstant)circuit, null);
      }
      return generateSBP(annotated, (BooleanFormula)circuit, interpreter, breaker);
    }
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
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.