/// <summary>
/// Asserts that given triplet holds in model.
/// </summary>
/// <param name="triplet">Asserted triplet</param>
internal void AssertHolds(TripletTree triplet)
{
Assert.IsTrue(_mind.Holds(triplet), triplet.ToString());
}
/// <summary>
/// Asserts that given triplet doesn't hold in model.
/// </summary>
/// <param name="tripletTree">Asserted triplet</param>
internal void AssertNotHolds(TripletTree tripletTree)
{
Assert.IsFalse(_mind.Holds(tripletTree), tripletTree.ToString());
}