public static bool Negate(ref Truth.State truth)
{
if (truth != State.Unknown)
{
truth = truth == State.True ? State.False : State.True;
return(true);
}
return(false);
}
public Atom(Truth.State truth)
{
m_truth = truth;
}
//--//
public Atom(Clause clause, Truth.State truth)
{
m_clause = clause;
m_truth = truth;
}
