Searched refs:JoinedState (Results 1 – 1 of 1) sorted by relevance
560 OriginLoanMap JoinedState = Origins; in join() local565 JoinedState = Factory.OriginMapFactory.add( in join()566 JoinedState, OID, join(getLoans(OID), OtherLoanSet, Factory)); in join()568 return LifetimeLattice(JoinedState); in join()