NullPredicate function ( Aliasing arg0 ) { return new NullPredicate ( true , arg0 ) ; }
create a new predicate declaring the truth of a variable : true v concode_field_sep boolean isNull concode_elem_sep Aliasing variable concode_field_sep boolean denotesNullVariable concode_elem_sep boolean denotesNonNullVariable concode_elem_sep PluralTupleLatticeElement putIntoLattice concode_elem_sep boolean denotesBooleanFalsehood concode_elem_sep Aliasing getVariable concode_elem_sep boolean denotesBooleanTruth concode_elem_sep boolean denotesNullVar concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep boolean isSatisfied concode_elem_sep NullPredicate createNonNullVarPred concode_elem_sep String toString concode_elem_sep VariablePredicate createIdenticalPred concode_elem_sep boolean isAlwaysTrue concode_elem_sep boolean isUnsatisfiable concode_elem_sep VariablePredicate createOppositePred