/// <summary> Return false if both contained prepositions are false. </summary> public override bool Check(string[] key, bool[] state) { return(_fact1.Check(key, state) || _fact2.Check(key, state)); }
/// <summary> Return false if the contained preposition is true. </summary> public override bool Check(string[] key, bool[] state) { return(!_fact.Check(key, state)); }
/// <summary> Return false if the requirement is met AND the implication is not true. </summary> public override bool Check(string[] key, bool[] state) { return(!_requirement.Check(key, state) || _implication.Check(key, state)); }