org.ggp.base.util.hashing.ZHashContext Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of alloy-ggp-base Show documentation

A modified version of the GGP-Base library for Alloy.

The newest version!

package org.ggp.base.util.hashing;

import java.util.Set;

import org.ggp.base.util.gdl.grammar.GdlSentence;

public interface ZHashContext {
    long getHashComponent(GdlSentence sentence);

    default long getHashForFullState(Set contents) {
        long hash = 0L;
        for (GdlSentence sentence : contents) {
            hash ^= getHashComponent(sentence);
        }
        return hash;
    }
}