public void Test_S1IntervalTestBase_SimplePredicates()
{
// is_valid(), IsEmpty, IsFull, IsInverted
Assert.True(zero.IsValid() && !zero.IsEmpty() && !zero.IsFull());
Assert.True(empty.IsValid() && empty.IsEmpty() && !empty.IsFull());
Assert.True(empty.IsInverted());
Assert.True(full.IsValid() && !full.IsEmpty() && full.IsFull());
Assert.True(!quad12.IsEmpty() && !quad12.IsFull() && !quad12.IsInverted());
Assert.True(!quad23.IsEmpty() && !quad23.IsFull() && quad23.IsInverted());
Assert.True(pi.IsValid() && !pi.IsEmpty() && !pi.IsInverted());
Assert.True(mipi.IsValid() && !mipi.IsEmpty() && !mipi.IsInverted());
}
