public boolean containsClause(StateLiteralClause clause) {
		
		for (StateLiteralClause c : clauses) {
			boolean matches = true;
			for (StateLiteral l : c.getLiterals()) {
				if (!clause.containsLiteral(l)) {
					//System.out.println("Clause " + clause + " does not contain " + l);
					matches = false;
					break;
				}
			}
			if (matches) {
				for (StateLiteral l : clause.getLiterals()) {
					if (!c.containsLiteral(l)) {
						//System.out.println("Clause " + c + " does not contain " + l);
						matches = false;
						break;
					}
				}
			}
			if (matches) {
				return true;
			}
		}
		return false;
		
	}