Examples of lupos.datastructures.bindings.BindingsFactory.createInstance()

      BigInteger usedVars = InputHelper.readLuposBigInteger(hm.size(), in);
      if (usedVars == null) {
        return null;
      }
      BigInteger differentFromPreviousBindings = InputHelper.readLuposBigInteger(hm.size(), in);
      final Bindings b = bindingsFactory.createInstance();
      final BigInteger TWO = BigInteger.valueOf(2);
      for (final Variable v : hm.keySet()) {
        if (usedVars.mod(TWO).compareTo(BigInteger.ONE)==0) {
          if (previousBindings == null || differentFromPreviousBindings.mod(TWO).compareTo(BigInteger.ONE)==0) {
            Literal lit;

      final Map<Variable, Integer> hm = bindingsFactory.getPosVariables();
      BigInteger usedVars = InputHelper.readLuposBigInteger(hm.size(), in);
      if (usedVars == null) {
        return null;
      }
      final Bindings b = bindingsFactory.createInstance();
      final BigInteger TWO = BigInteger.valueOf(2);
      for (final Variable v : hm.keySet()) {
        if (usedVars.mod(TWO).compareTo(BigInteger.ONE)==0) {
          final Literal lit = InputHelper.readLuposLiteral(in);
          b.add(v, lit);

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.