Package owl.cinterface

Class CLabelledFormula

java.lang.Object

owl.cinterface.CLabelledFormula

public final class CLabelledFormula
extends Object

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CLabelledFormula.AtomicPropositionStatus

Method Summary

Modifier and Type	Method	Description
static org.graalvm.nativeimage.ObjectHandle	create(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.c.type.CCharPointer cFormulaString, org.graalvm.nativeimage.c.type.CCharPointerPointer cAtomicPropositions, int cAtomicPropositionsLength)
static org.graalvm.nativeimage.ObjectHandle	parse(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.c.type.CCharPointer cFormulaString, org.graalvm.nativeimage.c.type.CCharPointerPointer cAtomicPropositions, int cAtomicPropositionsLength)
static org.graalvm.nativeimage.ObjectHandle	simplify(org.graalvm.nativeimage.IsolateThread thread, org.graalvm.nativeimage.ObjectHandle cLabelledFormula, int firstOutputAtomicProposition, org.graalvm.nativeimage.c.type.CIntPointer cAtomicPropositionStatuses, int cAtomicPropositionsStatusesLength)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

parse

public static org.graalvm.nativeimage.ObjectHandle parse(org.graalvm.nativeimage.IsolateThread thread,
                                                         org.graalvm.nativeimage.c.type.CCharPointer cFormulaString,
                                                         org.graalvm.nativeimage.c.type.CCharPointerPointer cAtomicPropositions,
                                                         int cAtomicPropositionsLength)

create

public static org.graalvm.nativeimage.ObjectHandle create(org.graalvm.nativeimage.IsolateThread thread,
                                                          org.graalvm.nativeimage.c.type.CCharPointer cFormulaString,
                                                          org.graalvm.nativeimage.c.type.CCharPointerPointer cAtomicPropositions,
                                                          int cAtomicPropositionsLength)

simplify

public static org.graalvm.nativeimage.ObjectHandle simplify(org.graalvm.nativeimage.IsolateThread thread,
                                                            org.graalvm.nativeimage.ObjectHandle cLabelledFormula,
                                                            int firstOutputAtomicProposition,
                                                            org.graalvm.nativeimage.c.type.CIntPointer cAtomicPropositionStatuses,
                                                            int cAtomicPropositionsStatusesLength)