[−][src]Function varisat_internal_proof::lit_hash
pub fn lit_hash(lit: Lit) -> ClauseHash
Hash a single literal.
Multiple literals can be combined with xor, as done in clause_hash
.
pub fn lit_hash(lit: Lit) -> ClauseHash
Hash a single literal.
Multiple literals can be combined with xor, as done in clause_hash
.