*/
@Test
public void testAddOrAndOrDescr() {
Pattern pattern = VerifierComponentMockFactory.createPattern1();
LiteralRestriction literalRestriction = LiteralRestriction.createRestriction( pattern,
"" );
LiteralRestriction literalRestriction2 = LiteralRestriction.createRestriction( pattern,
"" );
LiteralRestriction literalRestriction3 = LiteralRestriction.createRestriction( pattern,
"" );
LiteralRestriction literalRestriction4 = LiteralRestriction.createRestriction( pattern,
"" );
LiteralRestriction literalRestriction5 = LiteralRestriction.createRestriction( pattern,
"" );
PatternSolver solver = new PatternSolver( pattern );
solver.addOperator( OperatorDescrType.AND );