private void SetAtomState(char atom, bool?state) { if (!Atoms.ContainsKey(atom)) { throw new Exception("_atoms[atom]"); } Node.Node node = Atoms[atom]; node.SetState(state, state != null && state.Value); }
public ImplicationData(Node.Node left, Node.Node right) { Left = left; Right = right; }