check_image_predicates

modus_lib::wellformed

Function check_image_predicates 

Source 
pub fn check_image_predicates(
    clauses: &Vec<Clause<IRTerm>>,
) -> Result<HashSet<Signature>, HashSet<Signature>>
Expand description

infer image predicates, i.e. those that transitively depend on image/1 check that image predicates depend on image/1 in each disjunct