Siena Simplification Library Documentation (v. 1.1.4)

simplify.h File Reference

#include "siena/types.h"

Go to the source code of this file.

Namespaces

namespace  siena

Functions

bool siena::conflicting (const constraint &c1, const constraint &c2)
 Procedure to determine if two constraints conflict with each other.
bool siena::covers (const constraint &c1, const constraint &c2)
 Procedure to determine if constraint c1 covers constraint c2.
bool siena::covers (const filter &f1, const filter &f2)
 Procedure to determine if a filter covers another one.
bool siena::covers (const predicate &p1, const predicate &p2)
 Procedure to determine if a predicate covers another one.


Detailed Description

This header file defines the functions that implement the Siena predicate simplification logic.