PlTermV Constructor (term0, term1)

Create a PlTermV from the given PlTerms.

Declaration Syntax

Visual Basic

Visual C++

public PlTermV(
	PlTerm term0,
	PlTerm term1
)

Public Sub New ( 
	term0 As PlTerm,
	term1 As PlTerm
)

public:
PlTermV(
	PlTerm term0, 
	PlTerm term1
)

new : 
        term0 : PlTerm * 
        term1 : PlTerm -> PlTermV

Parameters

Assembly: SwiPlCs (Module: SwiPlCs.dll) Version: 1.1.60601.0 (1.1.60601.0)