hylar/core/Logics/Solver.js
function(elem, mapping) {
        if(Logics.isBNode(elem)) {
            return Logics.skolemize(mapping.__facts__, elem);
        } else if(Logics.isVariable(elem)) {
            if (mapping[elem] !== undefined) {
                return mapping[elem]
            }
        }
        return elem;
    }
function(elem, mapping) {
        if(Logics.isBNode(elem)) {
            return Logics.skolemize(mapping.__facts__, elem);
        } else if(Logics.isVariable(elem)) {
            if (mapping[elem] !== undefined) {
                return mapping[elem]
            }
        }
        return elem;
    }
function ( elem , mapping ) { if ( Logics . isBNode ( elem ) ) { return Logics . skolemize ( mapping . __facts__ , elem ) ; } else if ( Logics . isVariable ( elem ) ) { if ( mapping [ elem ] !== undefined ) { return mapping [ elem ] } } return elem ; }
Substitutes an element given the mapping.
@param elem
@param mapping
@returns {*}
Substitutes an element given the mapping .