proposit-core
    Preparing search index...

    Interface TCorePremiseProfile

    Profile of a premise's variable appearances, split by antecedent/consequent.

    interface TCorePremiseProfile {
        appearances: TCoreVariableAppearance[];
        isInference: boolean;
        premiseId: string;
    }
    Index

    Properties

    appearances isInference premiseId

    Properties

    appearances: TCoreVariableAppearance[]
    isInference: boolean
    premiseId: string

    Settings

    Member Visibility

    On This Page

    Properties