Function ADS::literalNode

• Defined in File EasyCases.h

Function Documentation

inline int ADS::literalNode(int l)

the node of the literal +-( v + 1 ) in the graph of the implications

Pre:

l is not 0